Search results
From Event-B
Jump to navigationJump to searchCreate the page "Son" on this wiki! See also the search results found.
File:Crossed-Project Reference for Managing Model Variations.pdf ...-Project Reference for Managing Model Variations (Hironobu Kuruma and Thai Son Hoang)(154 KB) - 20:50, 30 April 2020File:Towards Modular Development in Event-B.pdf Towards Modular Development in Event-B (Thai Son Hoang, Hironobu Kuruma, and Michael Butler)(171 KB) - 20:50, 30 April 2020File:Theory Plug-in for Rodin 3.x.pdf Theory plug-in for Rodin 3.x (Thai Son Hoang, Asieh Salehi, Michael Butler, and Laurent Voisin)(100 KB) - 20:50, 30 April 2020