Document Versions

Analysing the Java package/access concepts in Isabelle/HOL –Norbert Schirmer — 2002 — Concurrency and Computation: Practice and Experience
Analysing the Java Package/Access Concepts in Isabelle/HOL –Norbert Schirmer, Technische Universit√§t M√ľnchen, N. Schirmer — 2003 — in Isabelle/HOL. Concurrency and Computation: Practice and Experience