Carnegie Mellon University

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 • SEI Report

By Dan Berry