Carnegie Mellon Other Reports Index

• 1991 Summary of Technical Operations
• 1992 Special Report CMU/SEI-92-SR-9
• Formal Specification and Verification of Concurrent Programs (Curriculum Module) SEI-CM-27-1.0
• Capability Maturity Model for Software, Version 1.1 (Manual)