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