data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 123494974
Notice de type Personne

Point d'accès autorisé

Ghilardi, Silvio

Information

Langue d'expression : Italien

Notes

Note publique d'information : 
Professeur à l’Université de Milan, Italie (en 2007)

Source

Combination methods for software verification / Daniele Zucchelli ; sous la direction de Michaël Rusinowitch et Silvio Ghilardi, 2007

Autres identifiants

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

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