Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: Trinh Bao Ngoc Quoc (著者)
  3. 1件

2 0 0 0 OA Verifying the Correctness of Compiler for an Imperative Programming Language

著者
Trinh Bao Ngoc Quoc
巻号頁・発行日
2011-03
Supervisor: Professor Futatsugi Kokichi