paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 074692097Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Wolff, Burkhart

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

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

Autres identifiants

Identifiant de notice Sudoc fusionnée : 15766502X
Identifiant de notice Sudoc fusionnée : 169174719
Identifiant HAL : burkhart-wolff
Identifiant VIAF : http://viaf.org/viaf/85392343
Identifiant ISNI : 0000000114946524

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

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