A Tool for Checking ANSI−C Programs
Edmund Clarke‚ Daniel Kroening and Flavio Lerda
Book Title
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)
Editor
Kurt Jensen and Andreas Podelski
ISBN
3−540−21299−X
Pages
168–176
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2988
Year
2004