年 〜
年

検索結果 3 件

2014 formal methods in computer-aided design : (FMCAD 2014) : Lausanne, Switzerland : 21-24 October 2014 : international conference on formal methods in computer-aided design : FMCAD 2014 graduate student forum : Oct 2014, Lausanne, Switzerland.

2014 formal methods in computer-aided design : (FMCAD 2014) : Lausanne, Switzerland : 21-24 October 2014 : international conference on formal methods in computer-aided design : FMCAD 2014 graduate student forum : Oct 2014, Lausanne, Switzerland.
紙図書
IEEE[2014]<M17-16-1394>
国立国会図書館
  • 著者標目FMCAD (Conference) (14th : 2014 : Lausanne, Switzerland) Claessen, Koen. Kuncak, Viktor.

Modular data structure verification

Modular data structure verification
紙博士論文
Viktor Kuncak.Massachusetts Institute of Technology2007.<M-DIMIT-07-044>
国立国会図書館
  • 著者標目Kuncak, Viktor.

Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings pt. 1 pt. 2

Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings pt. 1 pt. 2
紙図書
Rupak Majumdar, Viktor Kunčak (eds.)Springerc2017
全国の図書館
  • 著者標目CAV (Conference) Majumdar, Rupak Kunčak, Viktor

検索結果は以上です。