Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
de Gouw, Stijn, de Boer, Frank, Ahrendt, Wolfgang, Bubel, RichardVolume:
15
Language:
english
Journal:
Software & Systems Modeling
DOI:
10.1007/s10270-014-0446-9
Date:
October, 2016
File:
PDF, 1.34 MB
english, 2016