Repair of boolean programs using games

Andreas Griesmayer, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Search results

  • Research project

    EU - Prosyd - Property-Based System Design

    Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.

    1/01/0431/12/06

    Project: Research project