Shape Analysis by Graph Decomposition

tacas07.pdf
PDF file

In  Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Details

TypeInproceedings
> Publications > Shape Analysis by Graph Decomposition