Modular invariants for layered object structures
METADATA ONLY
Author / Producer
Date
2006-10
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Journal / series
Volume
62 (3)
Pages / Article No.
253 - 286
Publisher
North-Holland
Event
Fifth IEEE International Workshop on Source Code Analysis and Manipulation 2005 (SCAM 2005)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Invariant; Object-oriented programming; Modular verification; Ownership; Visibility; JML
Organisational unit
03594 - Meyer, Bertrand (emeritus)
03653 - Müller, Peter / Müller, Peter
Notes
Received 9 March 2005, Received in revised form 10 January 2006, Accepted 29 March 2006, Available online 19 May 2006.