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

Point d'accès autorisé

Leavens, Gary T.

Variante de point d'accès

Leavens T., Gary
[Nom de personne]

Information

Langue d'expression : Anglais

Source

A specification language design for the Java modeling language (JML) using Java 5 annotations

Internet, www.eecs.ucf.edu/~leavens/homepage.html, 2012-08-21

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