An Incremental Heap Canonicalization Algorithm
Madanlal Musuvathi and David L. Dill
August 2005
 PDF file |
In SPIN 05: SPIN Workshop
Publisher Springer Verlag
All copyrights reserved by Springer 2007.
Details
| Type | Inproceedings |
| Pages | 28–42 |
Related People
Share
