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

Peter G. Neumann (1974)
a service of Schloss Dagstuhl - Leibniz Center for Informatics