| |
| 2002 | ||
|---|---|---|
| 2 | Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler: Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK. Ada Deutschland Tagung 2002: 127-145 | |
| 1997 | ||
| 1 | Jürgen F. H. Winkler, Stefan Kauer: Proving Assertions is Also Useful. SIGPLAN Notices 32(3): 38-41 (1997) | |
| 1 | Carsten Freining | [2] |
| 2 | Jürgen F. H. Winkler | [1] [2] |