![]() | ![]() |
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] |