DMCA

Java Definite Assignment in Isabelle/HOL (2003)

by Norbert Schirmer , Technische Universität München
Venue:In Proc. of ECOOP Workshop on Formal Techniques for Java-like Programs, number 408 in Technical Report. ETH
Citations:3 - 0 self