Affeldt Reynald | Department Of Computer Science The University Of Tokyo
スポンサーリンク
概要
関連著者
-
Affeldt Reynald
Department Of Computer Science The University Of Tokyo
-
Kobayashi Naoki
Department Of Applied Physics And Chemistry The University Of Electro-communications
-
Yonezawa Akinori
Department of Computer Science, The University of Tokyo
-
KOBAYASHI Naoki
Department of Physics, Chuo University
-
Yonezawa A
Department Of Computer Science The University Of Tokyo
-
Yonezawa Akinori
Department Of Information Science Tokyo Institute Of Technology
-
AFFELDT REYNALD
Department of Computer Science, The University of Tokyo
-
Kobayashi N
Department Of Computer Science Tokyo Institute Of Technology
-
Kobayashi Naoki
Department Of Orthopaedic Surgery Dokkyo University School Of Medicine
-
Kobayashi Naoki
Department of Applied Chemistry, Faculty of Engineering, Osaka University
著作論文
- Verification of Concurrent Programs Using the Coq Proof Assistant : A Case Study
- Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study