Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic

Author(s):: Gouw, S. de; Boer, F.S. de; Ahrendt, W.; Bubel, R.

Published: 2016
Publication type: Article / Letter to editor

Date issued: 2016
Language: English
Publisher: Springer Verlag (Germany)
Is part of
hdl: 1887/3198466
doi: 10.1007/s10270-014-0446-9