Resources

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

Other Resources