Prof. Ahmed Bouajjani (U. Paris-Diderot) to give advanced course on complex program verification at ECI 2012

Ahmed Bouajjani, Profesor at Paris-Diderot, member of INFINIS, will give an advance course on complex program verification at ECI 2012. http://www.dc.uba.ar/events/eci/2012/cursos/bouajjani</wbr></wbr><div></div>Ahmed Bouajjani, Profesor at Paris-Diderot, member of INFINIS, will give an advance course on complex program verification at ECI 2012. http://www.dc.uba.ar/events/eci/2012/cursos/bouajjani</wbr></wbr>Ahmed Bouajjani, Profesor at Paris-Diderot, member of INFINIS, will give an advance course on complex program verification at ECI 2012. http://www.dc.uba.ar/events/eci/2012/cursos/bouajjani</wbr></wbr>