par De Wachter, Bram ;Genon, Alexandre ;Massart, Thierry ;Meuter, Cédric
Référence Formal aspects of computing, 17, 2, page (177-200)
Publication Publié, 2005-08
Article révisé par les pairs