Analysing the Java Package/Access Concepts in Isabelle/HOL (2002)

by N Schirmer
Venue:In Proceedings of the Workshop on Formal Techniques for Java-like Programs (fJP’2002) at ECOOP’02, Malaga