TY  - RPRT
TI  - User Interface Technology for Formal Specification Development
AU  - Lowry, Michael
AU  - Philpot, Andrew
AU  - Pressburger, Thomas
AU  - Underwood, Ian
AU  - Lum, Henry, Jr.
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/20020011142
ID  - 20020011142
ER  -