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 |