Login / Signup
E. V. Kochetkov
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
User Experience
Program Code
Database
Top Venues
Program. Comput. Softw.
</>
Publications
</>
A. V. Kozachok
,
E. V. Kochetkov
Prototype of a Verified Program Code Execution System.
Program. Comput. Softw.
44 (3) (2018)