Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet. Compositional Verification in Rewriting Logic. TPLP, 24(1):57-109, January 2024. [doi]
@article{MartinVM24, title = {Compositional Verification in Rewriting Logic}, author = {Óscar Martín 0001 and Alberto Verdejo and Narciso Martí-Oliet}, year = {2024}, month = {January}, doi = {10.1017/s1471068423000340}, url = {https://doi.org/10.1017/s1471068423000340}, researchr = {https://researchr.org/publication/MartinVM24}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {24}, number = {1}, pages = {57-109}, }