Thread-modular abstraction refinement (2003)

by T A Henzinger, R Jhala, R Majumdar, S Qadeer
Venue:In CAV, volume 2725 of LNCS