(English) We co-organized la séance « Méthodes formelles pour la sécurité » in the context of the Pré-GDR Sécurité in Paris (May 30, 2018)

Désolé, cet article est seulement disponible en Anglais Américain.