Obtaining an ACL2 sprecification from an Isabelle/HOL theory

  1. Aransay Azofra, Jesús María
  2. Lambán Pardo, Laureano
  3. Rubio García, Angel Luis
  4. Pascual Martínez-Losa, María Vico
  5. Heras Vicente, Jonathan
  6. Rubio García, Julio
  7. Divasón Mallagaray, José
Libro:
Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014

Editorial: Springer

ISBN: 978-3-319-13769-8

Año de publicación: 2014

Páginas: 49-63

Tipo: Capítulo de Libro

GOOGLE SCHOLAR