A tool for checking ANSI-C programs (2004)

Cached

Download Links

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