Anzu: A Tool for Property Synthesis

Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, Roderick Paul Bloem

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

Original language	English
Title of host publication	Proceedings of the 19th International Conference of Computer Aided Verification 2007
Publisher	.
Pages	258-262
ISBN (Print)	978-3-540-73367-6
Publication status	Published - 2007

Treatment code (Nähere Zuordnung)

@inproceedings{8c68e29c7bac4f279771d2703d3bd5cd,

title = "Anzu: A Tool for Property Synthesis",

author = "Barbara Jobstmann and Stefan Galler and Martin Weiglhofer and Bloem, {Roderick Paul}",

year = "2007",

language = "English",

isbn = "978-3-540-73367-6",

pages = "258--262",

booktitle = "Proceedings of the 19th International Conference of Computer Aided Verification 2007",

publisher = ".",

}