Obtaining an ACL2 sprecification from an Isabelle/HOL theory
- Aransay Azofra, Jesús María
- Lambán Pardo, Laureano
- Rubio García, Angel Luis
- Pascual Martínez-Losa, María Vico
- Heras Vicente, Jonathan
- Rubio García, Julio
- Divasón Mallagaray, José
Argitaletxea: Springer
ISBN: 978-3-319-13769-8
Argitalpen urtea: 2014
Orrialdeak: 49-63
Mota: Liburuko kapitulua