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.


Lisitsa, Alexei P and Nemytykh, Andrei P
(2017) Verifying Programs via Intermediate Interpretation.

This list was generated on Sun Aug 14 14:52:18 2022 BST.