Transforming Formal Specification Constructs into Diagrammatic Notations.

Kobamelo Moremedi, John Andrew van der Poll

Browse the full MEDI paper archive.