Formal Verification of a Java Compiler in Isabelle (2002)

by Martin Strecker, Fakultät Für Informatik, Technische Universität München