| |
| 1998 | ||
|---|---|---|
| 2 | Maritta Heisel, Rainer Mackenthun, Thomas Neustupny, Sadegh Sadeghipour, Matthias Weber: Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz. GI Jahrestagung 1998: 401-403 | |
| 1997 | ||
| 1 | Steffen Helke, Thomas Neustupny, Thomas Santen: Automating Test Case Generation from Z Specifications with Isabelle. ZUM 1997: 52-71 | |
| 1 | Maritta Heisel | [2] |
| 2 | Steffen Helke | [1] |
| 3 | Rainer Mackenthun | [2] |
| 4 | Sadegh Sadeghipour | [2] |
| 5 | Thomas Santen | [1] |
| 6 | Matthias Weber | [2] |