Debugging Unrealizable Specifications Using Simple Counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder Präsentation

Suchergebnisse