Lawrence Robinson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1976–1979
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1979 | FM | Writing Simulatable Specifications in SPECIAL. | Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg |
| 1977 | SOSP | Proving Multilevel Security of a System Design. | Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson |
| 1976 | DAC | Specification techniques. | Lawrence Robinson |
| 1976 | ICSE | Software Development and Proofs of Multi-Level Security. | Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson |