Les journées 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.
Voir l’appel à contributions pour plus de détails concernant les thématiques de ces journées (du mercredi 7 au vendredi 10 juin 2022, à Vannes).

Actes/Proceedings des journées (Rapport HAL)

Rapport HAL https://hal.science/hal-04556748