Proceedings of the “Approches Formelles dans l'Assistance au Développement du Logiciel” conference (AFADL 2025)
Actes des journées Approches Formelles dans l’Assistance au Développement du Logiciel (AFADL 2025)
Résumé
The 2025 annual meeting of the AFADL community and of the related research groups of the GDR GPL is organized in Pau. The aim of the AFADL days is to bring together academic and industrial players interested in the implementation of formal techniques at various stages of software and/or systems development.
Ces journées à Pau poursuivent les rencontres annuelles de la communauté AFADL et plus largement des groupes de recherche connexes du GDR GPL. Les journées AFADL ont pour objectif de rassembler des acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles à divers stades du développement des logiciels et/ou des systèmes.
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |