Formal Verification of a Java Compiler in Isabelle (2002)

by M Strecker
Venue:Conference on Automated Deduction