Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > KRIEGER Matthias
About LRI
Mr KRIEGER Matthias

Warning: this member left the laboratory on 31/03/2012
 
Doctorant
Université Paris-Sud
Formal Testing and System Exploration

Tel : 01 72 92 59 57
Fax :
Office : 67/PCRI-S

Personal web page : http://www.lri.fr/~krieger
Email : Matthias.Krieger@lri.fr











Ph.D. dissertations & Faculty habilitations
Ph.D   - Test Generation and Animation Based on Object-Oriented Specifications

Contracts & Grants
   - HOL-testGen XT