Lien Vérification formelle en SPARK au FOSDEM 2023 Posté par Blackknight (site web personnel, Mastodon) le 16 février 2023 à 10:51. Étiquettes : ada preuves 4 16fév.2023 https://fosdem.org/2023/schedule/event/open_source_formal_verification/
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.