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

Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	1117-1140
Number of pages	24
Journal	Software and System Modeling
Volume	15
Issue number	4
DOIs	https://doi.org/10.1007/s10270-014-0446-9
Publication status	Published - 2016
Externally published	Yes

Access to Document

@article{129d14570a0a489289c92384bb87db34,

title = "Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic",

author = "Gouw, {Stijn de} and Boer, {Frank S. de} and Wolfgang Ahrendt and Richard Bubel",

year = "2016",

doi = "10.1007/s10270-014-0446-9",

language = "English",

volume = "15",

pages = "1117--1140",

journal = "Software and System Modeling",

issn = "1619-1366",

publisher = "Springer Verlag",

number = "4",

}

TY - JOUR

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

AU - Gouw, Stijn de

AU - Boer, Frank S. de

AU - Ahrendt, Wolfgang

AU - Bubel, Richard

PY - 2016

Y1 - 2016

U2 - 10.1007/s10270-014-0446-9

DO - 10.1007/s10270-014-0446-9

M3 - Article

SN - 1619-1366

VL - 15

SP - 1117

EP - 1140

JO - Software and System Modeling

JF - Software and System Modeling

IS - 4

ER -