User menu

Developing Reactive Systems in a Vdm Framework

Bibliographic reference Ledru, Y.. Developing Reactive Systems in a Vdm Framework. In: Science of Computer Programming, Vol. 20, no. 1-2, p. 51-71 (1993)
Permanent URL http://hdl.handle.net/2078.1/49719