Evaluating Automated Software Verification Tools.

Christian Prause, Rainer Gerlich, Ralf Gerlich

Browse the full ICST paper archive.