Cristina Cornes

Publication Activity (10 Years)

Years Active: 1995-1999
Publications (10 Years): 0

Publications

Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro
Specification of a Smart Card Operating System. TYPES (1999)
Cristina Cornes, Delphine Terrasse
Automating Inversion of Inductive Predicates in Coq. TYPES (1995)