VDM '91, formal software development methods : proceedings v 1 : conference contribution - Prehn S; International Symposium of VDM Europe( 4th : 1991 : Netherlands ); International Symposium of VDM Europe 4th , Netherlands 1991 (Berlin Springer Verlag, 1991)
Keywords: Software development