Verifying safety properties using separation and heterogeneous abstractions. (2004)

by E Yahav, G Ramalingam
Venue:In Proc. of the ACM SIGPLAN 2004 conference on Programming language design and implementation,