Proceedings of the 22nd Day of AFADL
Actes des 22ème Journées des approches formelles dans l’assistance au développement de logiciels,AFADL'23
Résumé
The AFADL days bring together academics and industrial researchers who are interested in the practical use of formal methods at all stages of the development of software or systems. In 2023, the days took place in Rennes from June 5th to June 8th in the same place of the annual days organized by GDR GPL.
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. En 2023, ces journées se sont tenues du 5 au 8 juin 2023 à Rennes de façon concomitante avec les journées du GDR GPL.
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
