Lev Malcev

According to our database¹, Lev Malcev authored at least 3 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Practicing Abstraction Skills Through Diagrammatic Reasoning Over CAFÉ 2.0.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Engineering Education Conference, 2024

2023

Training Students' Abstraction Skills Around a CAFÉ 2.0.

[BibT_eX]

[DOI]

CoRR, 2023

Graphical Loop Invariant Based Programming.

[BibT_eX]

[DOI]

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