author = {Mauricio Ayala-Rincón and Thaynara Arielly de Lima and Maria Júlia Dias Lima and Mariano Miguel Moscato and and Temur Kutsia},
title = {{Verification of an Anti-unification Algorithm in PVS}},
booktitle = {{NASA Formal Methods}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {15682},
pages = {54--71},
publisher = {Springer},
isbn_issn = {ISBN 978-3-031-93705-7},
year = {2025},
editor = {Aaron Dutle and Laura Humphrey and Laura Titolo},
refereed = {yes},
length = {18},
conferencename = {The 17th NASA Formal Methods Symposium, NFM 2025, Williamsburg, VA, USA},
url = {https://doi.org/10.1007/978-3-031-93706-4_4}