|
[Gluch 99] |
Gluch, D. & Brockway, J. An Introduction to Software Engineering Practices Using Model-Based Verification (CMU/SEI-99-TR-005, ESC-TR-99-005). Pittsburgh, Pa.: Software Engineering Institute, Carnegie Mellon University, 1999. Available WWW: <http://www.sei.cmu.edu/publications/documents/99.reports/99tr005/99tr005abstract.html> |