Static Analysis to Enhance the Power of Model Checking for Concurrent Software
Edmund Clarke‚ Daniel Kroening and Thomas Reps
Book Title
Department of Defense Sponsored Information Security Research
ISBN
0−471−78756−6
Month
July
Pages
349–360
Publisher
Wiley
Year
2007