A Summary of Evdent-B Modeling Notation, J.R. Abrial Get link Facebook X Pinterest Email Other Apps October 22, 2025 https://archiv.infsec.ethz.ch/intranet_secured/education/as09/evtB/course_material_secured/evtb-slides.pdf/evtb-slides.pdf Get link Facebook X Pinterest Email Other Apps Comments
Comments
Post a Comment