Test et Testabilit en vue de la synthese de haut niveau
Acronym
Type
research
Duration
1998 - 2000
Content
Funding
PROTEUS