• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

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, Åbo Akademi University, 2018.

Abstract:

To be updated soon...

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},
  publisher = {Åbo Akademi University},
  year = {2018},
  ISBN = {978-952-12-3724-9},
}

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

Edit publication