Obtaining an ACL2 Specification from an Isabelle/HOL Theory.

Jess Aransay-Azofra, Jose Divasn, Jnathan Heras, Laureano Lambn, Mara Vico Pascual, ngel Luis Rubio, Julio Rubio

Browse the full AISC paper archive.