dblp.uni-trier.dewww.uni-trier.de

Lawrence Robinson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Richard J. Feiertag [1] [3]
2Karl N. Levitt [1] [2] [3] [4] [5]
3Peter G. Neumann [1]
4Brad A. Silverberg [5]
5Jay M. Spitzen [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)