Anzu: A Tool for Property Synthesis

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelProceedings of the 19th International Conference of Computer Aided Verification 2007
Herausgeber (Verlag).
Seiten258-262
ISBN (Print)978-3-540-73367-6
PublikationsstatusVeröffentlicht - 2007

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren