TU Darmstadt / ULB / TUbiblio

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

de Gouw, Stijn and de Boer, Frank S. and Ahrendt, Wolfgang and Bubel, Richard (2016):
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.
15, In: Software and System Modeling, (4), pp. 1117-1140, DOI: 10.1007/s10270-014-0446-9,
[Online-Edition: https://doi.org/10.1007/s10270-014-0446-9],
[Article]

Item Type: Article
Erschienen: 2016
Creators: de Gouw, Stijn and de Boer, Frank S. and Ahrendt, Wolfgang and Bubel, Richard
Title: Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
Language: German
Journal or Publication Title: Software and System Modeling
Volume: 15
Number: 4
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 27 Apr 2018 10:51
DOI: 10.1007/s10270-014-0446-9
Official URL: https://doi.org/10.1007/s10270-014-0446-9
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item