Java Definite Assignment in Isabelle/HOL (2003)

by N Schirmer
Venue:Proceedings of the Workshop on Formal Techniques for Java–like Programs (FTfJP’03