HOL-TestGen Version 1.8 USER GUIDE

Type de document :
Rapport
[Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01765526
Contributeur : Burkhart Wolff <>
Soumis le : jeudi 12 avril 2018 - 21:13:54
Dernière modification le : lundi 22 octobre 2018 - 16:26:14

Fichier

brucker.ea-hol-testgen-2016.pd...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01765526, version 1

Citation

Achim Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias Krieger, et al.. HOL-TestGen Version 1.8 USER GUIDE. [Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016. 〈hal-01765526〉

Partager

Métriques

Consultations de la notice

387

Téléchargements de fichiers

58