HOL-TestGen 1.8.0 User Guide

Brucker, A.D. orcid.org/0000-0002-6355-1200, Brügger, L., Feliachi, A. et al. (6 more authors) (2016) HOL-TestGen 1.8.0 User Guide. Report. CNRS – Université de Paris Sud , Orsay, France.


Copyright, Publisher and Additional Information: © 2003–2012 ETH Zurich, Switzerland © 2007–2015 Achim D. Brucker, Germany © 2008–2016 University Paris-Sud, France © 2016 The University of Sheffield, UK All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: • Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. • Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. • Neither the name of the copyright holders nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
  • Published: 23 April 2016
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: 17 May 2016 14:23
Last Modified: 18 Jul 2017 10:28
Published Version: https://www.lri.fr/~bibli/Rapports-internes/2016/R...
Status: Published
Publisher: CNRS – Université de Paris Sud
Related URLs:

Share / Export