par Cousot, Patrick P.;Ganty, Pierre
;Raskin, Jean-François ![](/vufind/images/ULB/publications_list.png)
Référence Lecture notes in computer science, 4634 LNCS, page (333-348)
Publication Publié, 2007
![](/vufind/images/ULB/publications_list.png)
![](/vufind/images/ULB/publications_list.png)
Référence Lecture notes in computer science, 4634 LNCS, page (333-348)
Publication Publié, 2007
Article révisé par les pairs