Verified Visualisation of Textual Modelling Languages

Fintan Fairmichael, Joseph Kiniry. Verified Visualisation of Textual Modelling Languages. ECEASST, 36, 2010. [doi]

@article{FairmichaelK10,
  title = {Verified Visualisation of Textual Modelling Languages},
  author = {Fintan Fairmichael and Joseph Kiniry},
  year = {2010},
  url = {http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/446},
  tags = {modeling language, language modeling},
  researchr = {https://researchr.org/publication/FairmichaelK10},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {36},
}