Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > WENZEL Markus
Présentation
M. WENZEL Markus

ATTENTION : ce membre a quitté le laboratoire le 31/08/2014
 
Ingénieur de Recherche
Université Paris-Saclay
Vérification d'Algorithmes, Langages et Systèmes

Tel : +33-1691-56688
Fax : +33-17485-?????
Bureau : 65/PCRI-S

Page personnelle : http://www.lri.fr/~wenzel
Courrier électronique : Makarius.wenzel@lri.fr


Publications







Logiciels et brevets
   - HOL-TestGen : Générateur de tests à partir de spécifications HOL
   - Isabelle/HOL : Isabelle/HOL



Participations à des contrats
   - Paral-ITP