The Design and Implementation of a Certifying Compiler [Necula, Lee] A Certifying Compiler for Java [Necula, Lee et al] David W. Hill CSCI 297 5.31.2005.
![The Design and Implementation of a Certifying Compiler [Necula, Lee] A Certifying Compiler for Java [Necula, Lee et al] David W. Hill CSCI 297 5.31.2005.](https://static.fdocuments.net/doc/330x215/56649d055503460f949d9039/the-design-and-implementation-of-a-certifying-compiler-necula-lee-a-certifying.jpg)
