paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 074692097Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Wolff, Burkhart

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : allemand,français
Pays : Allemagne

Notes

Note publique d'information : 
Université de Freiburg, DE (2003)

Note publique d'information : 
Professeur - LRI Université Paris Sud, Orsay (en 2011)

Note publique d'information : 
Directeur d'une thèse en informatique soutenue à l'université Paris Sud, Orsay en 2011

Identifiants externes

Identifiant HAL : burkhart-wolff
Identifiant VIAF : http://viaf.org/viaf/85392343
Identifiant SCOPUS : 8856672700
Identifiant ISNI : 0000000114946524

Source

Test generation and animation based on object-oriented specifications. / Par Matthias Krieger ; sous la direction de Burkhart Wolff, 2011 - [Thèse]

Theorem proving in higher order logics : 16 international conference, TPHOLs 2003 Rome, Italy, september 8-12, 2003 : proceedings / ed. by David Basin, Burkhart Wolff. - Springer, 2003

... Références liées : ...