Controlling Object Allocation Using Creation Guards

C. Pierik, D. Clarke, F.S. de Boer

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

Original language	Undefined/Unknown
Title of host publication	FM 2005: Formal Methods
Editors	J. Fitzgerald, I.J. Hayes, A. Tarlecki
Place of Publication	Berlin
Publisher	Springer
Pages	59-74
Number of pages	16
Publication status	Published - 2005

PierikCdB:05

Keywords

@inproceedings{a0033600976044dba11ebd6afba3a2aa,

title = "Controlling Object Allocation Using Creation Guards",

keywords = "Wiskunde en Informatica (WIIN)",

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

note = "PierikCdB:05",

year = "2005",

language = "Undefined/Unknown",

pages = "59--74",

editor = "J. Fitzgerald and I.J. Hayes and A. Tarlecki",

booktitle = "FM 2005: Formal Methods",

publisher = "Springer",

}