TY  - RPRT
TI  - Design for validation, based on formal methods
AU  - Butler, Ricky W.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19910008251
ID  - 19910008251
ER  -