TY  - GEN
AU  - James Lyle
AU  - D Wallace
AU  - J Graham
AU  - K Gallagher
AU  - Joseph Poole
AU  - D Binkley
C2  - NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
DA  - 1995-08-01
LA  - en
PB  - NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
PY  - 1995
TI  - Unravel: A CASE Tool to Assist Evaluation of High Integrity Software Volume 1: Requirements and Design
ER  -