TY  - GEN
AU  - James R Lyle
AU  - Dolores R Wallace
AU  - James R Graham
AU  - Keith B Gallagher
AU  - Joseph P Poole
AU  - David W Binkley
C2  - , National Institute of Standards and Technology, Gaithersburg, MD
DA  - 1995-01-01 05:01:00
DO  - https://doi.org/10.6028/NIST.IR.5691v1
LA  - en
PB  - , National Institute of Standards and Technology, Gaithersburg, MD
PY  - 1995
TI  - Unravel::a case tool to assist evaluation of high integrity software
ER  -