Technical Report of the Esprit Long Term Research Project 20072 ``Design For Validation''

2024-07-122024-07-122024-07-12https://infoscience.epfl.ch/handle/20.500.14299/216880Technical Report of the Esprit Long Term Research Project 20072 ``Design For Validation''