Locality-Based Abstractions

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/11547662_10 ◽

2005 ◽

pp. 118-134 ◽

Cited By ~ 4

Author(s):

Javier Esparza ◽

Pierre Ganty ◽

Stefan Schwoon

Download Full-text