Cristina Cifuentes
Parfait — A Scalable Bug Checker for C Code
SCAM, 2008.
@inproceedings{SCAM-2008-Cifuentes, author = "Cristina Cifuentes", booktitle = "{Proceedings of the Eighth International Working Conference on Source Code Analysis and Manipulation}", doi = "10.1109/SCAM.2008.21", pages = "263--264", publisher = "{IEEE}", title = "{Parfait — A Scalable Bug Checker for C Code}", year = 2008, }