Model Checking Recursive Programs Interacting via the Heap

Author(s):: Asavoae, I.M.; Boer, F.S. de; Bonsangue, M.M. (0000-0003-3746-3618); Lucanu, D.; Rot, J.C.

Published: 2015
Publication type: Article / Letter to editor

Date issued: 2015
Language: English
Is part of
hdl: 1887/3197532
doi: 10.1016/j.scico.2014.09.009