Automatic Inference of Specifications in the K Framework. - María Alpuente; Daniel Pardo 002; Alicia Villanueva (PROLE, 2015)

Symbolic Abstract Contract Synthesis in a Rewriting Framework. - María Alpuente; Daniel Pardo 002; Alicia Villanueva (LOPSTR, 2016)

Abstract Contract Synthesis and Verification in the Symbolic K Framework. - María Alpuente; Daniel Pardo 002; Alicia Villanueva (Fundam. Informaticae, 2020)