Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking. - Alexandru-Ioan Lungu; Vlad Teodorescu; Andrei Zaborila; Oana Andrei; Dorel Lucanu (Sci. Ann. Comput. Sci., 2024)