TY  - RPRT
TI  - Formal Methods for Verification and Validation of Partial Specifications: A Case Study
AU  - Easterbrook, Steve
AU  - Callahan, John
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/19980017028
ID  - 19980017028
ER  -