bibtex

@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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4181483