Giese, H. ; Wirtz, Guido:
Modular Development of Correct Meander Programs
.
In: PDPTA-97 (Veranst.):
xxx
(Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications, PDPTA-97, Las Vegas (USA), 30.06.-03.07.1997).
xxx : xxx, 1997.
Institution: Lehrstuhl für Praktische Informatik
|
|