Eric Audureau
Se connecter
Les propositions
Les favoris
Les échanges
Aide
Eric Audureau
Tous (1)
Propositions (0)
Favoris (0)
Accueil
Panier
Messages
Notifications
Compte
Logique temporelle : sémantique et validation de programmes parallèles
Patrice Enjalbert
,
Luis Farinas Del Cerro
,
Eric Audureau
0
0
