Automated Transformations and Alternate Translations: A Case Study

Doni Pracner, Natasa Sukur, Zoran Budimac. Automated Transformations and Alternate Translations: A Case Study. In Zoran Budimac, Valentino Vranic, Ján Lang, editors, Proceedings of the Tenth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Bratislava, Slovakia, September 10-13, 2023. Volume 3588 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]

@inproceedings{PracnerSB23,
  title = {Automated Transformations and Alternate Translations: A Case Study},
  author = {Doni Pracner and Natasa Sukur and Zoran Budimac},
  year = {2023},
  url = {https://ceur-ws.org/Vol-3588/p18.pdf},
  researchr = {https://researchr.org/publication/PracnerSB23},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Tenth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Bratislava, Slovakia, September 10-13, 2023},
  editor = {Zoran Budimac and Valentino Vranic and Ján Lang},
  volume = {3588},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}