Verified Visualisation of Textual Modelling Languages

Joseph Roland Kiniry, Fintan Fairmichael

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

    Fingerprint

    Dive into the research topics of 'Verified Visualisation of Textual Modelling Languages'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science