Formal verification of a Java compiler in Isabelle. (2002)

by M Strecker
Venue:In Proc. Conference on Automated Deduction (CADE),