Parfait - Designing a Scalable Bug Checker.

01 January 2008

Venue : Scalable Program Analysis 2008

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