par Geeraerts, Gilles ;Raskin, Jean-François ;Van Begin, Laurent
Référence Journal of computer and system sciences, 72, 1, page (180-203)
Publication Publié, 2006-02
Article révisé par les pairs