HOL-TestGen 1.0.0 User Guide

Brucker, A.D. and Wolff, B. (2005) HOL-TestGen 1.0.0 User Guide. Technical Report. Information Security, ETH-Zentrum , Zurich.


  • Brucker, A.D.
  • Wolff, B.
Copyright, Publisher and Additional Information: © 2004–2005 Achim D. Brucker and Burkhart Wolff Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies. Permission is granted to copy and distribute modified versions of this manual under the conditions for verbatim copying, provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one. Permission is granted to copy and distribute translations of this manual into another language, under the above conditions for modified versions, except that this permission notice may be stated in a translation approved by the Free Software Foundation.
  • Published: 7 April 2005
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:07
Last Modified: 23 Mar 2016 16:44
Published Version: http://dx.doi.org/10.3929/ethz-a-006787515
Status: Published
Publisher: Information Security, ETH-Zentrum
Identification Number: https://doi.org/10.3929/ethz-a-006787515

Share / Export