Abstraction for shape analysis with fast and precise transformers
Journal or Book Title
COMPUTER AIDED VERIFICATION, PROCEEDINGS
Book Series Title
LECTURE NOTES IN COMPUTER SCIENCE
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
This document is currently not available here.