User menu

A development model: application to Z specifications

Bibliographic reference Darimont, R. ; Souquieres, J.. A development model: application to Z specifications.IFIP WG8.1 Working Conference on Information System Development Process (Como, Italy, 1-3 September 1993). In: IFIP Transactions A: Computer Science & Technology, 1993, p.Vol. A-30, p. 247-264
Permanent URL http://hdl.handle.net/2078.1/68267