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}, }