Publiés par Nicolas Breton

Nicolas est expert méthodes formelles et model checking chez Systerel.