Gallery of new files
From Event-B
Jump to navigationJump to search
This special page shows the last uploaded files.
-
Crossed-Project Reference for Managing Model Variations-slides.pdf Maintenance script
20:49, 30 April 2020
; 224 KB
-
Extending Code Generation to Support Platform-Independent Event-B Models-slides.pdf Maintenance script
20:49, 30 April 2020
; 1.27 MB