Articles de Ksass`Peuk Voir tout Les enjeux de la recherche en méthodes formelles, pour les 30 années à venir Résumé d'une présentation de Gilles Dowek, conférencier invité à NASA Formal Methods 2018 méthodes formelles
Les enjeux de la recherche en méthodes formelles, pour les 30 années à venir Résumé d'une présentation de Gilles Dowek, conférencier invité à NASA Formal Methods 2018 méthodes formelles