Software Development in LDM

Kalman Balogh, Zsuzsa Farkas, E. Sántáné-Tóth, Péter Szeredi. Software Development in LDM. In Elöd Knuth, Erich J. Neuhold, editors, Specification and Design of Software Systems, Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings. Volume 152 of Lecture Notes in Computer Science, pages 56-83, Springer, 1982.


Abstract is missing.