 |
|
|||
| Authors: | Daniel Schweizer |
| Group: | System Engineering |
| Type: | PhD Thesis |
| Title: | Verifikation von Implementationen abstrakter Datentypen für sicherheitskritische Systeme am Beispiel von Oberon |
| Year: | 1997 |
| Month: | July |
| Pub-Key: | Sch97d |
| ISBN: | 3-906469-01-8 |
| ETH Nbr: | 12056 |
| Pub Nbr: | 19 |
| School: | ETH Zurich |
| Remarks: | Pruefung 30.1.1997 |
| Resources: | [BibTeX] |
