Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Shape Analysis by Graph Decomposition

Roman Manevich, Josh Berdine, Byron Cook, Ganesan Ramalingam, and Mooly Sagiv

Details

Publication typeInproceedings
Published inProceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)
> Publications > Shape Analysis by Graph Decomposition