- 著者
- Trinh Bao Ngoc Quoc
- 巻号頁・発行日
- 2011-03
Supervisor: Professor Futatsugi Kokichi
言及状況
Twitter (2 users, 2 posts, 0 favorites)
Verifying the Correctness of a Compiler for an Imperative, Programming Language (2011)
https://t.co/AOyloaBbRq #pdf #compilers #formalmethods
https://t.co/ylsC7yf2qR
Verifying the Correctness of a Compiler for an Imperative, Programming Language (2011) https://t.co/pSNkMD8cVY #distributedNews