icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
Home
Publications
Authors
Dan Berry
Dan Berry
Daniel Berry is an SEI alumni employee.
All
Formal Specification and Verification of Concurrent Programs
February 1, 1993
•
Curriculum Module
By
Dan Berry
Academic Legitimacy of the Software Engineering Discipline
November 1, 1992
•
Technical Report
By
Dan Berry