@conference{Ste2021,
  author    = {Steingartner, W., Jankura, M., Radaković, D.},
  title     = {Visualization of Formal Semantics - Possibilities of Attracting Formal Methods in Teaching},
  booktitle = {Sinteza 2021 - International Scientific Conference on Information Technology and Data Related Research},
  year      = 2021,
  doi       = {10.15308/Sinteza-2021-235-239},
  pages     = {235-239}
}