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

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

Research output: Book/Journal/Report › Commissioned report › Professional

Fingerprint

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

Keyphrases

Computer Science