| |
| 1980 | ||
|---|---|---|
| 2 | Wolfram-Manfred Lippe, Franz Wagner: Ein Entwurf zur maschinellen Unterstützung von Korrekheitsbeweisen bei Simulationen. GI Jahrestagung 1980: 413-427 | |
| 1979 | ||
| 1 | Hans Langmaack, Wolfram-Manfred Lippe, Franz Wagner: The Formal Termination Problem for Programs with Finite ALGOL 68-Modes. Inf. Process. Lett. 9(3): 155-159 (1979) | |
| 1 | Hans Langmaack | [1] |
| 2 | Wolfram-Manfred Lippe | [1] [2] |