User menu

Formal Derivation of Strongly Correct Concurrent Programs

Bibliographic reference van Lamsweerde, Axel ; Sintzoff, Michel. Formal Derivation of Strongly Correct Concurrent Programs. In: Acta informatica, Vol. 12, no.1, p. 1-31 (1979)
Permanent URL http://hdl.handle.net/2078.1/131452