HOL-TestGen 1.5.0 User Guide

Brucker, A.D., Brügger, L., Krieger, M.P. et al. (1 more author) (2010) HOL-TestGen 1.5.0 User Guide. Report. ETH Zurich. (Unpublished)

Metadata

Item Type: Monograph
Authors/Creators:
  • Brucker, A.D.
  • Brügger, L.
  • Krieger, M.P.
  • Wolff, B.
Dates:
  • Published: 25 April 2010
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:27
Last Modified: 23 Mar 2016 15:35
Status: Unpublished
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)