HOL-TestGen 1.7.0 User Guide

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

Authors/Creators:
  • Brucker, A.D.
  • Brügger, L.
  • Krieger, M.P.
  • Wolff, B.
Dates:
  • Published: 5 November 2012
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

Export

Statistics


CORE (COnnecting REpositories)