TY  - RPRT
TI  - Rapid Application of Lightweight Formal Methods for Consistency Analyses
AU  - Feather, M. S.
PY  - 1998
UR  - https://ntrs.nasa.gov/citations/20210005486
ID  - 20210005486
ER  -