Contract specification and verification: Experience with the Symboleo language
Daniel AMYOT, Contract specification and verification: Experience with the Symboleo language, Seminar presentation, LATECE, UQAM, online, Canada, May 19, 2021. | To be published
This content has been updated on 28 February 2023 at 18 h 35 min.