Title: A framework for the development and assurance of high integrity software
First published: 1994
Subjects: Computer software, Reliability, Quality control, Verification, Validation, Standards
Places: United States
LC classification: QC100 .U57 no. 500-223, QA76.76.R44 .U57 no. 500-223