Jesús Aransay-Azofra

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Higher Order Logic

Theoretical Basis

Formal Semantics

Top Venues

Publications

Jesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Ángel Luis Rubio, Julio Rubio
Obtaining an ACL2 Specification from an Isabelle/HOL Theory. AISC (2014)