TY  - RPRT
TI  - Reasoning about software specifications - A case study
AU  - Wild, Chris
AU  - Chen, JI
AU  - Eckhardt, Dave
PY  - 1989
UR  - https://ntrs.nasa.gov/citations/19900023550
ID  - 19900023550
ER  -