Systerel, acteur de référence depuis plus de 15 ans dans la mise en œuvre industrielle des techniques formelles, participera à la 6ème Conférence internationale ABZ à Southampton (UK) du 5 au 8 juin.