TY  - RPRT
TI  - Guidance for Using Formal Methods in a Certification Context
AU  - Brown, Duncan
AU  - Delseny, Herve
AU  - Hayhurst, Kelly
AU  - Wiels, Virginie
PY  - 2010
UR  - https://ntrs.nasa.gov/citations/20100020981
ID  - 20100020981
ER  -