User menu

Composition of Assumption-commitment Specifications in a Unity Style

Bibliographic reference Collette, P.. Composition of Assumption-commitment Specifications in a Unity Style.Colloquium on Formal Approaches of Software Engineering, at the 5th TAPSOFT Conference (ORSAY(France), Apr, 1993). In: Science of Computer Programming, Vol. 23, no. 2-3, p. 107-125 (1994)
Permanent URL http://hdl.handle.net/2078.1/63153