@dblp

Thread-Modular Shape Analysis.

. VMCAI, volume 5403 of Lecture Notes in Computer Science, page 3. Springer, (2009)

Links and resources

Tags