Search results
From Event-B
Jump to navigationJump to searchCreate the page "Asieh" on this wiki! See also the search results found.
File: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 2020File:Extending Code Generation to Support Platform-Independent Event-B Models.pdf Extending Code Generation to Support Platform-Independent Event-B Models (Asieh Salehi, Michael Butler, and Colin Snook)(68 KB) - 20:49, 30 April 2020File:Using Rodin and BMotionStudio for Public Engagement.pdf Using Rodin and BMotionStudio for Public Engagement (Dana Dghaym, Asieh Salehi and Colin Snook)(329 KB) - 20:49, 30 April 2020