Edward Robson
320, avenue Archimède Les Pléiades III – bât A 13 857 Aix en Provence Cedex 3 France Téléphone : +33(0)4.42.37.12.70 Télécopie : +33(0)4.42.37.12.71 .
10th Brasilian Symposium on Formal Methods August 31 2007, Ouro Preto
