Brucker, A.D., Brügger, L., Krieger, M.P. et al. (1 more author) (2012) HOL-TestGen 1.7.0 User Guide. Report. Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France. (Unpublished)
Metadata
Item Type: | Monograph |
---|---|
Authors/Creators: |
|
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 24 Feb 2016 13:42 |
Last Modified: | 23 Mar 2016 15:41 |
Status: | Unpublished |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:95538 |