TY  - RPRT
TI  - Developing Formal Correctness Properties from Natural Language Requirements
AU  - Nikora, Allen P.
PY  - 2006
UR  - https://ntrs.nasa.gov/citations/20060051681
ID  - 20060051681
ER  -