TY  - RPRT
TI  - Advanced Tools and Techniques for Formal Techniques in Aerospace Systems
AU  - Knight, John C.
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20050185303
ID  - 20050185303
ER  -