@article{DeGouwEtAl2015,
year={2016},
issn={1619-1366},
journal={Software & Systems Modeling},
doi={10.1007/s10270-014-0446-9},
title={Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic},
url={http://dx.doi.org/10.1007/s10270-014-0446-9},
publisher={Springer Berlin Heidelberg},
keywords={Specification; Verification; Program logic; Dynamic logic; Object creation},
author={de Gouw, Stijn and de Boer, Frank and Ahrendt, Wolfgang and Bubel, Richard},
language={English}
}