author : Carmen J. Trammell

Short works

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