%0 Conference Paper %1 conf/nfm/MasciD22 %A Masci, Paolo %A Dutle, Aaron %B NFM %D 2022 %E Deshmukh, Jyotirmoy V. %E Havelund, Klaus %E Perez, Ivan %I Springer %K dblp %P 809-815 %T Proof Mate: An Interactive Proof Helper for PVS (Tool Paper). %U http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#MasciD22 %V 13260 %@ 978-3-031-06773-0

@inproceedings{conf/nfm/MasciD22, added-at = {2022-05-23T00:00:00.000+0200}, author = {Masci, Paolo and Dutle, Aaron}, biburl = {https://www.bibsonomy.org/bibtex/27e4551d8a0aef5ff34d0ebf23e806aef/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2022}, editor = {Deshmukh, Jyotirmoy V. and Havelund, Klaus and Perez, Ivan}, ee = {https://doi.org/10.1007/978-3-031-06773-0_44}, interhash = {163b5d482311230a9d63048b951f22ea}, intrahash = {7e4551d8a0aef5ff34d0ebf23e806aef}, isbn = {978-3-031-06773-0}, keywords = {dblp}, pages = {809-815}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:35:33.000+0200}, title = {Proof Mate: An Interactive Proof Helper for PVS (Tool Paper).}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#MasciD22}, volume = 13260, year = 2022 }