Emmanuel Kounalis

Œuvres1

Total pages21médiane 21 p.

Période d'activité1985

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

Bibliographie (1)

Année	Titre	Éditeur	Pages
1985	Validation des spécifications algébriques par complétion inductive	—	21

Emmanuel Kounalis — 1 œuvres