An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation.

Eva Khn, Sophie Therese Radschek

Browse the full SEFM paper archive.