Tribune de Ksass`Peuk 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 Causerie++ - Episode 4 C++, OO et Alan Kay c++
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
