Lev Malcev

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Programming Environment

Invariant Properties

Diagrammatic Reasoning

Invariant Representation

Top Venues

Publications

Géraldine Brieven, Lev Malcev, Benoit Donnet
Practicing Abstraction Skills Through Diagrammatic Reasoning Over CAFÉ 2.0. EDUCON (2024)
Géraldine Brieven, Lev Malcev, Benoit Donnet
Training Students' Abstraction Skills Around a CAFÉ 2.0. CoRR (2023)
Géraldine Brieven, Simon Liénardy, Lev Malcev, Benoit Donnet
Graphical Loop Invariant Based Programming. FMTea (2023)
Géraldine Brieven, Simon Liénardy, Lev Malcev, Benoit Donnet
Graphical Loop Invariant Based Programming. FMTea (2022)