Daniel Pardo

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 3

Top Topics

Unified Framework

Probabilistic Inference

Top Venues

Fundam. Informaticae

Publications

María Alpuente, Daniel Pardo, Alicia Villanueva
Abstract Contract Synthesis and Verification in the Symbolic K Framework. Fundam. Informaticae 177 (3-4) (2020)
María Alpuente, Daniel Pardo, Alicia Villanueva
Symbolic Abstract Contract Synthesis in a Rewriting Framework. CoRR (2016)
María Alpuente, Daniel Pardo, Alicia Villanueva
Symbolic Abstract Contract Synthesis in a Rewriting Framework. LOPSTR (2016)
María Alpuente, Daniel Pardo, Alicia Villanueva
Automatic Inference of Specifications in the K Framework. PROLE (2015)