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