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]
Abstract is missing.