Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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.

This list was generated on Sun Feb 11 18:11:40 2024 GMT.