Repair of boolean programs using games

Andreas Griesmayer, Roderick Paul Bloem

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

1 results

EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
1/01/04 → 31/12/06
Project: Research project