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

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

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