Stage de recherche
Stage: Modele de contrats generalises pour la verification des interactions entre composants heterogenes
Ecole Normale Supérieure de Lyon, 2004
n fermentum donec ut mauris eget massa tempor convallis nulla neque libero convallis eget eleifend luctus ultricies eu nibh quisque id justo sit amet sapien dignissim