Share this page
Share this page E-mail this page Print this page RSS feeds
Home > Publications > Heap Decomposition for Concurrent Shape Analysis
Heap Decomposition for Concurrent Shape Analysis

sas08.pdf
PDF file

In: Static Analysis Symposium (SAS)

Publisher: Springer Verlag
All copyrights reserved by Springer 2007.

Details

Type: Inproceedings