| 1979 |
|---|
| 5 | | Karl N. Levitt,
Lawrence Robinson,
Brad A. Silverberg:
Writing Simulatable Specifications in SPECIAL.
The Use of Formal Specification of Software 1979: 39-78 |
| 1978 |
|---|
| 4 | | Jay M. Spitzen,
Karl N. Levitt,
Lawrence Robinson:
An Example of Hierarchical Design and Proof.
Commun. ACM 21(12): 1064-1075 (1978) |
| 1977 |
|---|
| 3 | | Richard J. Feiertag,
Karl N. Levitt,
Lawrence Robinson:
Proving Multilevel Security of a System Design.
SOSP 1977: 57-65 |
| 2 | | Lawrence Robinson,
Karl N. Levitt:
Proof Techniques for Hierarchically Structured Programs.
Commun. ACM 20(4): 271-283 (1977) |
| 1976 |
|---|
| 1 | | Peter G. Neumann,
Richard J. Feiertag,
Karl N. Levitt,
Lawrence Robinson:
Software Development and Proofs of Multi-Level Security.
ICSE 1976: 421-428 |
