1 research outputs found

    Obtaining an ACL2 Specification from an Isabelle/HOL Theory

    No full text
    corecore