@inproceedings{JGB05,
title = {Program Repair as a Game },
author = {Jobstmann, Barbara and Griesmayer, Andreas and Bloem, Roderick},
year = {2005},
booktitle = {Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
pages = {226-238},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3576},
team = {DCS},
}