Showing 1 - 1 results of 1 for search 'Andrei P. Nemytykh', query time: 0.02s
Refine Results
-
1
Verification of Programs via Intermediate Interpretation by Alexei P. Lisitsa, Andrei P. Nemytykh
Published 2017-08-01
Article