The Use of Formal Specification of Software, June 25-27, 1979, Berlin

Helmut K. Berg Wolfgang K. Giloi The Use of Formal Specification of Software, June 25-27, 1979, Berlin The Use of Formal Specification of Software Informatik-Fachberichte 36 Springer 1980 3-540-10442-9 db/conf/fm/fm1979.html