Repair of boolean programs with an application to C

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

Abgeschlossen
EU - Prosyd - Property-Based System Design
Jobstmann, B. (Teilnehmer / Mitarbeiter), Bloem, R. (Projektleiter), Pill, I. H. (Teilnehmer / Mitarbeiter), Griesmayer, A. (Teilnehmer / Mitarbeiter) & Staber, S. S. (Teilnehmer / Mitarbeiter)
1/01/04 → 31/12/06
Projekt: Forschungsprojekt

Projekte