De onderzoeksprojecten zijn afgelopen. De adresgegevens zijn niet meer beschikbaar.
P6/39: Fundamentele vraagstukken in software engineering: modelleren, verificatie en evolutie van software (cordinator van het project)