"Correction d'assemblages de composants impliquant des interfaces ..."

Pascal André, J. Christian Attiogbé, Mohamed Messabihi (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics