USING THE ACL2 THEOREM PROVER: A TUTORIAL INTRODUCTION AND CASE STUDIES Chapter 1

Popular Tags

No tags have been applied to this document.

Add a tag:

BibTeX | Add To MetaCart

@MISC{Greve_usingthe,
    author = {David Greve and Matthew Wilding and David Hardin},
    title = {USING THE ACL2 THEOREM PROVER: A TUTORIAL INTRODUCTION AND CASE STUDIES Chapter 1},
    year = {}
}