Where academic tradition
meets the exciting future

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

Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén, Improving the Modelling Experience in Event-B - A Literature Review. TUCS Technical Reports 1196, 2018.

BibTeX entry:

@TECHREPORT{tOlShEdWa18a,
  title = {Improving the Modelling Experience in Event-B - A Literature Review},
  author = {Olszewska, Marta and Shokri-Manninen, Fatima and Edmunds, Andrew and Waldén, Marina},
  number = {1196},
  series = {TUCS Technical Reports},
  year = {2018},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication