Creational Invariants

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Formal Techniques for Java-like Programs workshop (Proc. of FTfJP 2004)
Publication status	Published - 2004

PierikCdB:04 The proceedings appeared as technical report nr. NIII-R0426, University of Nijmegen, 2004

Keywords

@inproceedings{5a2cb90b06584008bcb3f0bb9e10f216,

title = "Creational Invariants",

keywords = "Wiskunde en Informatica (WIIN)",

author = "C. Pierik and D.G. Clarke and \{de Boer\}, F.S.",

note = "PierikCdB:04 The proceedings appeared as technical report nr. NIII-R0426, University of Nijmegen, 2004",

year = "2004",

language = "Undefined/Unknown",

booktitle = "Formal Techniques for Java-like Programs workshop (Proc. of FTfJP 2004)",

}