A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY

  1. Albert, E.
  2. Bubel, R.
  3. Genaim, S.
  4. Hähnle, R.
  5. Puebla, G.
  6. Román-Díez, G.
Aldizkaria:
Software and Systems Modeling

ISSN: 1619-1374,  1619-1366

Argitalpen urtea: 2016

Alea: 15

Zenbakia: 4

Orrialdeak: 987-1012

Mota: Artikulua

DOI: 10.1007/S10270-015-0476-Y GOOGLE SCHOLAR
Datuen iturria: Scopus