Model checking programs (2003)

by Willem Visser, Klaus Havelund, Guillaume P Brat, Seungjoon Park, Flavio Lerda
Venue:Automat. Softw. Eng