CAV Lab
Computer Aided Verification Laboratory | 電腦輔助驗證實驗室

給新生的話 - 找老師之前

  • 給新生的話

    • 歡迎加入本實驗室!

    本實驗室成立於 2016 年 8 月 , 歡迎對 正規方法, 系統安全/資訊安全驗證, CPU驗證, 演算法 有興趣之 專題生、碩士生及博士生加入我們

    -->

    實驗室守則

    6 am- 10 pm 嚴禁打電動及任何影響他人專心研究的娛樂行為

    Visitors (since September 1st 2017)

    Flag Counter Flag Counter