Additional Metadata
THEME Software (theme 1)
Publisher Springer
ISBN 0302-9743
Series Lecture Notes in Computer Science
Conference Formal Methods for Components and Objects
Citation
Pierik, C, Clarke, D.G, & de Boer, F.S. (2005). Controlling Object Allocation Using Creation Guards. In Lecture Notes in Computer Science. Springer.