Accéder directement au contenu

Burkhart Wolff

1
Documents

Présentation

[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")
[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")

Publications

chantal-keller
"longuet"
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