icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
Home
Publications
Authors
Alfs T. Berztiss (University of Pittsburgh)
Alfs T. Berztiss (University of Pittsburgh)
University of Pittsburgh
All
Formal Verification of Programs
December 1, 1988
•
Curriculum Module
By
Alfs T. Berztiss (University of Pittsburgh)
,
Mark A. Ardis (Stevens Institute of Technology)
Support Materials for Formal Specification of Software
October 1, 1987
•
Curriculum Module
By
Alfs T. Berztiss (University of Pittsburgh)
Formal Specification of Software
October 1, 1987
•
Curriculum Module
By
Alfs T. Berztiss (University of Pittsburgh)