Dominique Méry — 1 œuvres

Dominique Méry

Œuvres1

Total pages251médiane 251 p.

Période d'activité1983

Prochaine sortie estimée—Pas assez de données (≥3 publis requises)

Bibliographie (1)

Année	Titre	Éditeur	Pages
1983	Une Méthode axiomatique de preuve de propriétés de fatalité de programmes parallèles avec hypothèse d'exécution équitable	—	251