Soren Prehn, Hans Toetenel

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - 1991 - Springer Berlin Heidelberg 1991 - Lecture Notes in Computer Science .

9783540464563


Computer Science