TY  - RPRT
TI  - Extending reliability: Transformational tailoring of abstract mathematical software
AU  - Boyle, J. M.
PY  - 1978
UR  - https://ntrs.nasa.gov/citations/19790004552
ID  - 19790004552
ER  -