Login / Signup

Obtaining an ACL2 Specification from an Isabelle/HOL Theory.

Jesús Aransay-AzofraJose DivasónJónathan HerasLaureano LambánMaría Vico PascualÁngel Luis RubioJulio Rubio
Published in: AISC (2014)
Keyphrases