TY  - RPRT
TI  - Synthesizing Safety Conditions for Code Certification Using Meta-Level Programming
AU  - Eusterbrock, Jutta
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040081067
ID  - 20040081067
ER  -