Fernando Asteasuain. New Horizons for Metamorphic Relationships in Formal Verification. In Patricia Pesado, editor, Computer Science - CACIC 2022 - 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers. Volume 1778 of Communications in Computer and Information Science, pages 107-122, Springer, 2022. [doi]
@inproceedings{Asteasuain22,
title = {New Horizons for Metamorphic Relationships in Formal Verification},
author = {Fernando Asteasuain},
year = {2022},
doi = {10.1007/978-3-031-34147-2_8},
url = {https://doi.org/10.1007/978-3-031-34147-2_8},
researchr = {https://researchr.org/publication/Asteasuain22},
cites = {0},
citedby = {0},
pages = {107-122},
booktitle = {Computer Science - CACIC 2022 - 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers},
editor = {Patricia Pesado},
volume = {1778},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-031-34147-2},
}