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.
In: Software and System Modeling, 15 (4), pp. 1117-1140. DOI: 10.1007/s10270-014-0446-9,
[Article]
Official URL: https://doi.org/10.1007/s10270-014-0446-9
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 |
Journal 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 |
Options (only for editors)
![]() |
Show editorial Details |