author : Richard C. Linger

Short works

• Cleanroom Software Engineering: Theory and Practice. 1999. (In Industrial-Strength Formal Methods in Practice )