Verification of SpecC using Predicate Abstraction
Edmund Clarke‚ Himanshu Jain and Daniel Kroening
Journal
Formal Methods in System Design (FMSD)
Month
February
Number
1
Pages
5–28
Volume
30
Year
2007
Edmund Clarke‚ Himanshu Jain and Daniel Kroening