Identifiant pérenne de la notice : 18353560X
Notice de type
Personne
Automatisation de preuves et synthèse de types pour la théorie des ensembles dans
le contexte de TLA+ / Hernán Vanzetto ; sous la dir. de Stephan Merz. Thèse de doctorat
: Informatique : Université de Lorraine : 2014
Information trouvée : Né le 5 février 1981
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