Lev Malcev

According to our database, Lev Malcev authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

How to Automate Feedback on Diagrammatic Reasoning with a Relevant Degree of Freedom?

Géraldine Brieven, Lev Malcev, Benoit Donnet

Proceedings of the IEEE Global Engineering Education Conference, 2025

2024

Practicing Abstraction Skills Through Diagrammatic Reasoning Over CAFÉ 2.0.

Géraldine Brieven, Lev Malcev, Benoit Donnet

Proceedings of the IEEE Global Engineering Education Conference, 2024

2023

Training Students' Abstraction Skills Around a CAFÉ 2.0.

Géraldine Brieven, Lev Malcev, Benoit Donnet

CoRR, 2023

Graphical Loop Invariant Based Programming.

Géraldine Brieven, Simon Liénardy, Lev Malcev, Benoit Donnet

Proceedings of the Formal Methods Teaching: 5th International Workshop, 2023