Up a level |
Number of items: 2.
Lisitsa, Alexei P and Nemytykh, Andrei P
(2017)
Verification of Programs via Intermediate Interpretation.
EPTCS 253, 2017, pp. 54-74, 253.
pp. 54-74.
Lisitsa, Alexei P and Nemytykh, Andrei P
(2017)
Verifying Programs via Intermediate Interpretation.
Electronic Proceedings in Theoretical Computer Science, EPTCS, 253.
pp. 54-74.