icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
About
Our Work
Publications
News and Events
Education and Outreach
Careers
Home
Publications
Authors
Jared Brockway
Jared Brockway
Jared Brockway is an SEI alumni employee.
All
An Introduction to Software Engineering Practices Using Model-Based Verification
April 1, 1999
•
Technical Report
By
David P. Gluch
,
Jared Brockway