Daniel AMYOT, Contract Specification and Verification: Experience with the Symboleo Language, Keynote presentation, 15th International Workshop on Value Modeling and Business Ontologies (VMBO 2021), online, Italy, March 5, 2021. | Publication à venir
Ce contenu a été mis à jour le 28 février 2023 à 18 h 31 min.