« Les bons amants, ce sont les femmes qui les construisent. Les hommes, il faut tout leur apprendre et surtout leur laisser croire le contraire. » Victoria.
E. Encrenaz-Tiphène LIP6 – séminaire LSV 1/06/04 Vérification par modèle de parties de SoC Expérimentations et enrichissement doutils de vérification existants.