TY  - RPRT
TI  - Open architectures for formal reasoning and deductive technologies for software development
AU  - Mccarthy, John
AU  - Manna, Zohar
AU  - Mason, Ian
AU  - Pnueli, Amir
AU  - Talcott, Carolyn
AU  - Waldinger, Richard
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/19950010171
ID  - 19950010171
ER  -