Lawrence Robinson

Publication Activity (10 Years)

Years Active: 1975-1979
Publications (10 Years): 0

Publications

Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg
Writing Simulatable Specifications in SPECIAL. The Use of Formal Specification of Software (1979)
Lawrence Robinson
Formalism can help you (Abstract of presentation). AFIPS National Computer Conference (1978)
Jay M. Spitzen, Karl N. Levitt, Lawrence Robinson
An Example of Hierarchical Design and Proof. Commun. ACM 21 (12) (1978)
Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson
Proving Multilevel Security of a System Design. SOSP (1977)
Lawrence Robinson, Karl N. Levitt
Proof Techniques for Hierarchically Structured Programs. Commun. ACM 20 (4) (1977)
Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson
Software Development and Proofs of Multi-Level Security. ICSE (1976)
Lawrence Robinson
Specification techniques. DAC (1976)
Lawrence Robinson, Karl N. Levitt, Peter G. Neumann, Ashok R. Saxena
On attaining reliable software for a secure operating system. Reliable Software (1975)