Issa Traoré. An Integrated V&V Environment for Critical Systems Development. In 5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada. pages 287, IEEE Computer Society, 2001. [doi]
Abstract is missing.