Auteur(s): Ligoure C.
Conférence invité: Plenary annual meeting of the Europena network of excellence SOFTCOMP (Venise, IT, 2009-05-04)