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

Filter
Finished

Search results