Soutenance de thèse de Thomas BAGREL
Thomas BAGREL (Veridis), défendra sa thèse intitulée Formalisation et implémentation de techniques sûres pour la programmation par passage de destination dans les contextes fonctionnels purs. La soutenance se déroulera en […]


