Contract specification and verification: Experience with the Symboleo language

Daniel AMYOT, Contract specification and verification: Experience with the Symboleo language, Séminaire, LATECE, UQAM, online, Canada, May 19, 2021. | Publication à venir

Ce contenu a été mis à jour le 28 février 2023 à 18 h 35 min.