Improving the Modelling Experience in Event-B - A Literature Review

Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Walden

Research output: Book/Journal/ReportCommissioned reportProfessional

Fingerprint

Dive into the research topics of 'Improving the Modelling Experience in Event-B - A Literature Review'. Together they form a unique fingerprint.

Engineering & Materials Science