Formal Verification of a Java Compiler in Isabelle (2002)

by Martin Strecker , Fakultät Für Informatik , Technische Universität München
Citations:28 - 1 self