Formal Problem Specification on an Algebraic Basis
Erstveröffentlichung
1993Herausgeber
Möller, B.Partsch, H.
Schuman, S.
Teil eines Buches
Erschienen in
Formal Program Development: IFIP TC2 State-of-the-Art Report / Möller, Bernhard ; Partsch, Helmut ; Schuman, Steve (Hrsg.). - Berlin ; Heidelberg : Springer, 1993. - (Lecture Notes in Computer Science ; 755). - S. 183-224