ICTEAM Security, Testing and Verification Lab - UCLouvain

Les activités du groupe de recherche Security, Testing and Verification Lab concernent la cybersécurité, de même que les techniques de vérification formelle et les tests de sûreté des logiciels