@article{ABB+5,
title = {Model checking recursive programs interacting via the heap },
author = {Asavoae, Irina and Boer, Frank S. de and Bonsangue, Marcello and Lucanu, Dorel and Rot, Jurriaan},
year = {2015},
journal = {Sci. Comput. Program.},
pages = {61--83},
volume = {100},
team = {PACSS},
}
