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

Point d'accès autorisé

Ranise, Silvio

Information

Notes

Note publique d'information : 
Chargé de Recherche à l’INRIA Lorraine, France (en 2008)

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 : ...