User menu

Building formal requirements models for reliable software

Bibliographic reference van Lamsweerde, Axel. Building formal requirements models for reliable software.Reliable Software Technologies - Ada-Europe 2001. 6th Ada-Europe International Conference on Reliable Software Technologies (Leuven, Belgium, 14-18 May 2001). In: Craeynest, D.; Strohmeier, A.;, Reliable Software Technologies - Ada-Europea 2001. 6th Ada-EuropeInternational Conference on Reliable Software Technologies. Proceedings(Lecture Notes in Computer Science Vol.2043), Springer-verlag2001, p. 1-20
Permanent URL http://hdl.handle.net/2078.1/68163