Frank de Boer Member Status: Collaborator E-mail: fmse.info.uaic.ro Publications 2015 Model checking recursive programs interacting via the heap Frank de Boer and Jurriann Rot and Marcello Bonsangue and Irina Asavoae and Dorel Lucanu Elsevier BIB 2012 Bounded Model Checking of Recursive Programs with Pointers in K Frank de Boer and Jurriann Rot and Marcello Bonsangue and Irina Asavoae and Dorel Lucanu WADT2012 BIB Interacting via the Heap in the Presence of Recursion Frank de Boer and Jurriann Rot and Marcello Bonsangue and Irina Asavoae and Dorel Lucanu ICE2012 BIB
Model checking recursive programs interacting via the heap Frank de Boer and Jurriann Rot and Marcello Bonsangue and Irina Asavoae and Dorel Lucanu Elsevier BIB
Bounded Model Checking of Recursive Programs with Pointers in K Frank de Boer and Jurriann Rot and Marcello Bonsangue and Irina Asavoae and Dorel Lucanu WADT2012 BIB
Interacting via the Heap in the Presence of Recursion Frank de Boer and Jurriann Rot and Marcello Bonsangue and Irina Asavoae and Dorel Lucanu ICE2012 BIB