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]

Authors

Alexandru-Ioan Lungu

This author has not been identified. Look up 'Alexandru-Ioan Lungu' in Google

Vlad Teodorescu

This author has not been identified. Look up 'Vlad Teodorescu' in Google

Andrei Zaborila

This author has not been identified. Look up 'Andrei Zaborila' in Google

Oana Andrei

This author has not been identified. Look up 'Oana Andrei' in Google

Dorel Lucanu

This author has not been identified. Look up 'Dorel Lucanu' in Google