TY  - GEN
AU  - Levitt, K
AU  - Neumann, P
AU  - Robinson, L
C2  - Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD
DA  - 1980-10-01
LA  - en
PB  - Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD
PY  - 1980
TI  - The SRI Hierarchical Development Methodology (HDM) and its Application to the Development of Secure Software
ER  -