@inproceedings{DBLP:conf/lpar/FavaSLST15,
author = {Daniel Fava and
Julien Signoles and
Matthieu Lemerre and
Martin Sch{\"{a}}f and
Ashish Tiwari},
title = {Gamifying Program Analysis},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
pages = {591--605},
year = {2015},
crossref = {DBLP:conf/lpar/2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_41},
doi = {10.1007/978-3-662-48899-7\_41},
timestamp = {Fri, 02 Nov 2018 09:44:58 +0100},
biburl = {https://dblp.org/rec/bib/conf/lpar/FavaSLST15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2015,
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7},
doi = {10.1007/978-3-662-48899-7},
isbn = {978-3-662-48898-0},
timestamp = {Fri, 02 Nov 2018 09:44:58 +0100},
biburl = {https://dblp.org/rec/bib/conf/lpar/2015},
bibsource = {dblp computer science bibliography, https://dblp.org}
}