Analysing the Java package/access concepts in Isabelle/HOL (2002)

by Norbert Schirmer
Venue:Concurrency and Computation: Practice and Experience
Citations:6 - 1 self