• Institution : Université Libre de Bruxelles, Computer Sciences Department Research Group in Formal Methods and Verification
• Language : French

The research projects are over. The personal data are no longer available.

Projects :

P6/39: Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software