Model checking programs (0)

by W Visser, K Havelund, G Brat, S Park, F Lerda
Venue:Automated Software Engineering (ASE