resources

This is an old revision of the document!

Resources

Event-B/Rodin

Main Event-B website

Use this page to list additional Resources that may be helpful to your students.

resources.1419876471.txt.gz · Last modified: 2014/12/29 18:07 by jonathan