Anzu: A Tool for Property Synthesis

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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proceedings of the 19th International Conference of Computer Aided Verification 2007
Herausgeber (Verlag)	.
Seiten	258-262
ISBN (Print)	978-3-540-73367-6
Publikationsstatus	Veröffentlicht - 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 = ".",

}