Toward a Methodology for Designing Large Systems and Verifying Their Properties.

Peter G. Neumann

Browse the full GI paper archive.