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 : jeudi 7 février 2019 - 16:20:46

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

450

Téléchargements de fichiers

81