TY  - RPRT
TI  - Unravel: a case tool to assist evaluation of high integrity software
AU  - Lyle, James R
AU  - Wallace, Dolores R
AU  - Graham, James R
AU  - Gallagher, Keith B
AU  - Poole, Joseph P
AU  - Binkley, David W
PY  - 1995
PB  - National Institute of Standards and Technology
CY  - Gaithersburg, MD
SN  - NIST IR 5691v1
DO  - 10.6028/NIST.IR.5691v1
ER  -