TY  - RPRT
TI  - Can Regulatory Bodies Expect Efficient Help from Formal Methods?
AU  - Lopez Ruiz, Eduardo R.
AU  - Lemoine, Michel
PY  - 2010
UR  - https://ntrs.nasa.gov/citations/20100018539
ID  - 20100018539
ER  -