%0 Conference Paper %1 conf/dagstuhl/CifuentesS08 %A Cifuentes, Cristina %A Scholz, Bernhard %B Scalable Program Analysis %D 2008 %E Martin, Florian %E Nielson, Hanne Riis %E Riva, Claudio %E Schordan, Markus %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K dblp %T Parfait - Designing a Scalable Bug Checker. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P8161.html#CifuentesS08 %V 08161

@inproceedings{conf/dagstuhl/CifuentesS08, added-at = {2018-08-23T00:00:00.000+0200}, author = {Cifuentes, Cristina and Scholz, Bernhard}, biburl = {https://www.bibsonomy.org/bibtex/29869a48172e3c286edb3c19c938c105e/dblp}, booktitle = {Scalable Program Analysis}, crossref = {conf/dagstuhl/2008P8161}, editor = {Martin, Florian and Nielson, Hanne Riis and Riva, Claudio and Schordan, Markus}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1573/}, interhash = {6c24ccee4562dc8e384dfd7de77501b8}, intrahash = {9869a48172e3c286edb3c19c938c105e}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:24:35.000+0200}, title = {Parfait - Designing a Scalable Bug Checker.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P8161.html#CifuentesS08}, volume = 08161, year = 2008 }