Publiés par Laurent Voisin

Laurent Voisin a une belle expérience dans les méthodes formelles. Il est directeur technique de Systerel