Article about Mini-course around Event-B and Rodin, lecture 2
Video about Mini-course around Event-B and Rodin, lecture 2
entertainment Video