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

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

Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

Sormenjälki

Sukella tutkimusaiheisiin 'Improving the Modelling Experience in Event-B - A Literature Review'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Keyphrases

Computer Science