TY  - RPRT
TI  - Formal Methods Case Studies for DO-333
AU  - Cofer, Darren
AU  - Miller, Steven P.
PY  - 2014
UR  - https://ntrs.nasa.gov/citations/20140004055
ID  - 20140004055
ER  -