TY  - RPRT
TI  - Towards High-Assurance High-Performance Program Synthesis
AU  - Lowry, Michael
AU  - Roach, Steven
AU  - vanBaalen, Jeffrey
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/19970029206
ID  - 19970029206
ER  -