TY  - RPRT
TI  - Experiences Using Formal Methods for Requirements Modeling
AU  - Hamilton, David
AU  - Ampo, Yoko
AU  - Kelly, John
AU  - Covington, Rick
AU  - Lutz, Robyn
AU  - Easterbrook, Steve
PY  - 1996
UR  - https://ntrs.nasa.gov/citations/20210003844
ID  - 20210003844
ER  -