bibtex

@inproceedings{EJ13,
    title = {Program Repair without Regret },
    author = {Essen, Christian von and Jobstmann, Barbara},
    year = {2013},
    booktitle = {Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
    pages = {896-911},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {8044},
    team = {DCS},
}


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

info visites 4181462