Marco Antonio Feliú

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

First Order Logic

Specification Language

Top Venues

Publications

Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva
Automatic synthesis of specifications for first order curry programs. PPDP (2012)
María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva
Datalog-Based Program Analysis with BES and RWL. Datalog (2010)