Prototype of a Verified Program Code Execution System
Crossref DOI link: https://doi.org/10.1134/S0361768818030039
Published Online: 2018-06-01
Published Print: 2018-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kozachok, A. V.
Kochetkov, E. V.
Text and Data Mining valid from 2018-05-01
Article History
Received: 20 January 2018
First Online: 1 June 2018