Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking

Alexandru-Ioan Lungu, Vlad Teodorescu, Andrei Zaborila, Oana Andrei, Dorel Lucanu. Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking. Sci. Ann. Cuza Univ., 34(1):39-66, 2024. [doi]

@article{LunguTZAL24,
  title = {Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking},
  author = {Alexandru-Ioan Lungu and Vlad Teodorescu and Andrei Zaborila and Oana Andrei and Dorel Lucanu},
  year = {2024},
  doi = {10.47743/SACS.2024.1.39},
  url = {https://doi.org/10.47743/SACS.2024.1.39},
  researchr = {https://researchr.org/publication/LunguTZAL24},
  cites = {0},
  citedby = {0},
  journal = {Sci. Ann. Cuza Univ.},
  volume = {34},
  number = {1},
  pages = {39-66},
}