Parfait - Designing a Scalable Bug Checker.

Parfait - Designing a Scalable Bug Checker.

Cristina Cifuentes, Bernhard Scholz

01 January 2008


Venue : Scalable Program Analysis 2008

External Link: http://drops.dagstuhl.de/opus/volltexte/2008/1573/