Repair of boolean programs with an application to C

Andreas Griesmayer, Roderick Paul Bloem, Cook Byron

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

Suchergebnisse