A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY
- Albert, E.
- Bubel, R.
- Genaim, S.
- Hähnle, R.
- Puebla, G.
- Román-Díez, G.
ISSN: 1619-1374, 1619-1366
Datum der Publikation: 2016
Ausgabe: 15
Nummer: 4
Seiten: 987-1012
Art: Artikel