Wolfgang Naraschewski (1970-....)

Langue :anglais
Sexe :masculin
Note :
En poste : Technische Universität München, Institut für Informatik, Munich, Allemagne (en 1999)
ISNI :ISNI 0000 0001 1655 7143

Ses activités

Éditeur scientifique1 document

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Types for proofs and programs : TYPES'98

Pages équivalentes