Title: Cleanroom software engineering practices
First published: 1997
Subjects: Software engineering
LC classification: QA76.758 .B43 1997