Search results
From Event-B
Jump to navigationJump to searchCreate the page "Southampton" on this wiki! See also the search results found.
Page title matches
File:Slides matoussi -Southampton-.pdf (200 KB) - 20:49, 30 April 2020
Page text matches
File:ICFEM 2009 revised presentation.pdf Presentation during Rodin workshop in Southampton - Formal Methods outside the mother land.(917 KB) - 20:49, 30 April 2020File:Steve Wright Quite Big Model Presentation.pdf ..."Experiences with a Quite Big Event-b Model", given at the Rodin workshop, Southampton, July 16th 2009.(551 KB) - 20:49, 30 April 2020