Formal Verification of a Java Compiler in Isabelle (0)

by M Strecker
Venue:Conference on Automated Deduction