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. | To be published
This content has been updated on 28 February 2023 at 18 h 31 min.