@InProceedings{MD2022-NFM,
author="Masci, Paolo
and Dutle, Aaron",
editor="Deshmukh, Jyotirmoy V.
and Havelund, Klaus
and Perez, Ivan",
title="Proof {M}ate: An Interactive Proof Helper for {PVS} (Tool Paper)",
bookseries="Lecture Notes in Computer Science",
booktitle="Proceedings of the 14th International Symposium NASA Formal Methods (NFM 2022)",
year="2022",
volume="13260",
publisher="Springer International Publishing",
address="Los Angeles, CA, USA",
pages="809--815",
month="May"
}