- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |