Sciweavers

CONCURRENCY
2004

Analysing the Java package/access concepts in Isabelle/HOL

14 years 9 days ago
Analysing the Java package/access concepts in Isabelle/HOL
Norbert Schirmer
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2004
Where CONCURRENCY
Authors Norbert Schirmer
Comments (0)