Emailfmse.info.uaic.roStatusCollaboratorPublications2015Model checking recursive programs interacting via the heapIrina Asavoae, Frank de Boer, Marcello Bonsangue, Dorel Lucanu, Jurriann Rot Journal2012Interacting via the Heap in the Presence of RecursionJurriann Rot, Irina Asavoae, Frank de Boer, Marcello Bonsangue, Dorel Lucanu ConferenceBounded Model Checking of Recursive Programs with Pointers in KIrina Asavoae, Frank de Boer, Marcello Bonsangue, Dorel Lucanu, Jurriann Rot Conference