Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > WENZEL Markus
About LRI
Mr WENZEL Markus

Warning: this member left the laboratory on 31/08/2014
 
Ingénieur de Recherche
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

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

Personal web page : http://www.lri.fr/~wenzel
Email : Makarius.wenzel@lri.fr


Publications







Software & Patents
   - HOL-TestGen: A generator of test-data from HOL specifications
   - Isabelle/HOL: Isabelle/HOL



Contracts & Grants
   - Paral-ITP