August 9, 2023 (v1)
Publication
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.
Uploaded on: September 5, 2023