Box 5
Container
Contains 141 Results:
Trace-Based Network Proof Systems: Expressiveness and Completeness, 1992-07
File — Box: 5 , Folder: 45
A Constructive proof of Vizing's Theorem, 1992-03
File — Box: 5 , Folder: 46
Huttenlocher Case Professor of the Year and Clarke Teaching Award nominations, 1993
File — Box: 5 , Folder: 47
A New Approach to Teaching Mathematics, 1994-02
File — Box: 5 , Folder: 49
A Case Study in Using Formal Methods for Software Requirements Specification, 1988-11
File — Box: 5 , Folder: 1
A Comparison of Two Software Design-Specifications, 1988-11
File — Box: 5 , Folder: 2
One-bounded Mutual Exclusion using two blocked-set binary semaphores and two shared bits, 1988
File — Box: 5 , Folder: 3
Position Statement on the Foundation of Software Engineering, 1989
File — Box: 5 , Folder: 4