Prototype of a Verified Program Code Execution System

A. V. Kozachok, E. V. Kochetkov. Prototype of a Verified Program Code Execution System. Programming and Computer Software, 44(3):190-199, 2018. [doi]

Abstract

Abstract is missing.