SciDok

Ihr Suchergebnis

Ergebnis 1 - 1 von 1  1    Gehe zu Seite
von 1
1. Melis, Erica ; Sengler, Claus (1997) Analogical transfer of verification proofs for state-based specifications Kaiserslautern ; Saarbr├╝cken : DFKI, 1997 Report (Bericht)
 
Ergebnis 1 - 1 von 1  1    Gehe zu Seite
von 1

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English