TY - GEN AU - Lyle, James AU - Wallace, D AU - Graham, J AU - Gallagher, K AU - Poole, Joseph AU - Binkley, D 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 -