Abstraction for shape analysis with fast and precise transformers
Publication Date
2006
Journal or Book Title
COMPUTER AIDED VERIFICATION, PROCEEDINGS
Pages
547-561
Volume
4144
Book Series Title
LECTURE NOTES IN COMPUTER SCIENCE
Recommended Citation
Lev-Ami, T; Immerman, N; and Sagiv, M, "Abstraction for shape analysis with fast and precise transformers" (2006). COMPUTER AIDED VERIFICATION, PROCEEDINGS. 561.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/561
COinS