User menu

Constructing correct and efficient concurrent programs

Bibliographic reference Sintzoff, Michel ; van Lamsweerde, Axel. Constructing correct and efficient concurrent programs.international conference on Reliable softwareIn: Proceedings of the international conference on Reliable software, ACM1975, p.319-326
Permanent URL http://hdl.handle.net/2078.1/131686