1101_N26I300 1101_正規驗證之理論與應用 THEORY AND APPLICATION OF FORMAL VERIFICATION

111年8月26日以後本課程上課方式/After August, 26, 2022, this course will be conducted as follows: 實體上課(依教務處公告處理)/In-person teaching(According to the Office of Academic Affairs announcement)