Title

Abstraction for shape analysis with fast and precise transformers

Publication Date

2006

Journal or Book Title

COMPUTER AIDED VERIFICATION, PROCEEDINGS

Volume

4144

Pages

547-561

Book Series Title

LECTURE NOTES IN COMPUTER SCIENCE

This document is currently not available here.

Share

COinS