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é
Llibre:
Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014

Editorial: Springer

ISBN: 978-3-319-13769-8

Any de publicació: 2014

Pàgines: 49-63

Tipus: Capítol de llibre

GOOGLE SCHOLAR