TY  - RPRT
TI  - Proof Mate: An Interactive Proof Helper for PVS (Tool Paper)
AU  - Paolo Masci
AU  - Aaron Dutle
UR  - https://ntrs.nasa.gov/citations/20210026165
ID  - 20210026165
ER  -