Verifying safety properties of concurrent heap-manipulating programs.

Eran YahavMooly Sagiv
Published in: ACM Trans. Program. Lang. Syst. (2010)