Announcement: Event-B Seminar at NII, Tokyo

 

TRAINING

The training is conducted by the members of the DEPLOY consortium, including experienced tool developers, industrial engineers applying Rodin/Event-B in practice and academics contributing to advancing methods and tools.