Thread-modular Abstraction Refinement (2003)

by Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , Shaz Qadeer
Venue:In: CAV
Citations:41 - 4 self