A tool for checking ANSI-C programs (2004)

View PDF

Download Links

by Edmund Clarke , Daniel Kroening , Flavio Lerda
Venue:In Tools and Algorithms for the Construction and Analysis of Systems
Citations:299 - 31 self