TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 1.

Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Puebla, German and Roman-Diez, Guillermo (2016):
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.
In: Software and System Modeling, pp. 987-1012, 15, (4), DOI: 10.1007/s10270-015-0476-y,
[Online-Edition: https://doi.org/10.1007/s10270-015-0476-y],
[Article]

This list was generated on Tue Jun 18 01:41:32 2019 CEST.