Flavio Lerda. Model Checking Programs (2003)

by Willem Visser, Klaus Havelund, Guillaume Brat, Seungjoon Park
Venue:Automated Software Engineering