Comparing systems specification techniques "What questions are prompted by ones particular
method of specification ?", 1998
Contribution à la spécification et à la vérification des logiciels à base de composants
: enrichissement du langage de données de Kmelia et vérification de contrats / Mohamed
El-Habib Messabihi [thèse] ; sous la direction de Christian Attiogbé ; co-encadrant
de thèse Pascal André