Announcement: Event-B Seminar at NII, Tokyo



The main business of Rodin Tools is to provide training in the use of the tool and plugins. This training will be free to members (subject to membership level) but will usually be open to the whole community. As well as training Rodin Tools can provide the following services