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

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

Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

Fingeravtryck Fördjupa i forskningsämnen för ”Improving the Modelling Experience in Event-B - A Literature Review”. Tillsammans bildar de ett unikt fingeravtryck.

Ingenjörs- och materialvetenskap