Cristina Cifuentes, Bernhard Scholz. Parfait - Designing a Scalable Bug Checker. In Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan, editors, Scalable Program Analysis, 13.04. - 18.04.2008. Volume 08161 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008. [doi]
@inproceedings{CifuentesS08,
title = {Parfait - Designing a Scalable Bug Checker},
author = {Cristina Cifuentes and Bernhard Scholz},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1573/},
researchr = {https://researchr.org/publication/CifuentesS08},
cites = {0},
citedby = {0},
booktitle = {Scalable Program Analysis, 13.04. - 18.04.2008},
editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan},
volume = {08161},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
}