Table of Contents

Resources

For information on Event-B/Rodin, see resources (login at bottom right)

SEL Virtual Machine

The SEL Virtual Machine is available here. For further help, see here (login for the password to access the VM).

Other Resources