Toward a Methodology for Designing Large Systems and Verifying Their Properties - researchr publication

researchr

You are not signed in
Sign in
Sign up

Peter G. Neumann. Toward a Methodology for Designing Large Systems and Verifying Their Properties. In Dirk Siefkes, editor, GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974. Volume 26 of Lecture Notes in Computer Science, pages 52-67, Springer, 1974.

Abstract is missing.

runs on WebDSL