An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development

Research output: Book/ReportCommissioned reportProfessional

Original languageUndefined/Unknown
PublisherÅbo Akademi University
ISBN (Print)978-952-12-3160-5
Publication statusPublished - 2014
MoE publication typeD4 Published development or research report or study

Cite this