Dr HDR* Université Paris Nanterre LIP6 UMR 7606 CNRS
Software engineering Software development Verification
Software engineering Formal methods Service-based systems Business processes
Dir. Master MIAGE-FI/FP UPL academic council LIP6 laboratory council
Professor at Université Paris Nanterre LIP6 UMR 7606 CNRS
firstname.lastname@lip6.fr firstname.lastname@u-paris10.fr
pascalpoizat pascalpoizat
