Makarov, Evgeny.
" Dynamic Separation Logic and its Use in Education" <em>Modern Information Technologies and IT-Education</em> [Online], Volume 16 Number 3 (30 November 2020)