Makarov, E.
2020 Nov 30.  Dynamic Separation Logic and its Use in Education. Modern Information Technologies and IT-Education. [Online] 16:3