TY  - RPRT
TI  - Formal methods technology transfer: Some lessons learned
AU  - Hamilton, David
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19950007758
ID  - 19950007758
ER  -