When a Formal Model Rhymes with a Graphical Notation.

Akram Idani, Nicolas Stouls

Browse the full SEFM paper archive.