T. Lev-Ami, N. Immerman, and M. Sagiv. Fast and precise abstraction for shape analysis. To appear in Proc. Computer-Aided Verification, August 2006. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Automated Verification of the Deutsch-Schorr-Waite - Tree-Traversal Algorithm Alexey Self-citation (Sagiv) (Correct)
No context found.
T. Lev-Ami, N. Immerman, and M. Sagiv. Fast and precise abstraction for shape analysis. To appear in Proc. Computer-Aided Verification, August 2006.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC