Differences

This shows you the differences between two versions of the page.

--- resources [2017/01/03 03:26] – jonathan
+++ resources [2019/01/03 21:13] (current) – jonathan
@@ Line 3: / Line 3: @@
 For information on Event-B/Rodin, see [[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:eventb:start|resources]] (login at bottom right)
+====== SEL Virtual Machine ======
+The SEL Virtual Machine is available [[http://dl.eecs.yorku.ca/sel/eecs-vbox-sel-latest.ova|here]]. For further help, see [[http://seldoc.eecs.yorku.ca/doku.php/eiffel/virtualbox/start|here]] (login for the password to access the VM).
 ====== Other Resources ======