• Instelling : Université Libre de Bruxelles, Computer Sciences Department Research Group in Formal Methods and Verification
• Taal : Frans

De onderzoeksprojecten zijn afgelopen. De adresgegevens zijn niet meer beschikbaar.

Projecten :

P6/39: Fundamentele vraagstukken in software engineering: modelleren, verificatie en evolutie van software