Accéder directement au contenu

Frédéric Tuong

1
Documents
Identifiants chercheurs

Présentation

Publications

burkhart-wolff
chantal-keller
Image document

HOL-TestGen Version 1.8 USER GUIDE

Achim D. Brucker , Lukas Brügger , Abderrahmane Feliachi , Chantal Keller , Matthias P. Krieger
[Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016
Rapport hal-01765526v1