Home

Les journées (Approches Formelles pour l'Assistance au Développement de Logiciels) AFADL ont pour objectif de rassembler de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes.