Fragment Abstraction for Concurrent Shape Analysis.

Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh

Browse the full ESOP paper archive.