著者
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

収集済み URL リスト