Ihr Suchergebnis
| Ergebnis 1 - 2 von 2 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)
|
| 2. |
Sengler, Claus
(1996)
Case studies of non-freely generated data types
Kaiserslautern ; Saarbrücken : DFKI, 1996
Report (Bericht)
|
| Ergebnis 1 - 2 von 2 1 Gehe zu Seite von 1 | |