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  - Binkley, Keith B Gallagherl Joseph P Poolel David W
PY  - 1995
PB  - National Institute of Standards and Technology
CY  - Gaithersburg, MD
SN  - NIST IR 5691v2
DO  - 10.6028/NIST.IR.5691v2
ER  -