Alexei P. Lisitsa | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Andrei P. Nemytykh
5 publications

research

∙ 08/24/2017

Verification of Programs via Intermediate Interpretation

We explore an approach to verification of programs via program transform...

0 Alexei P. Lisitsa, et al. ∙

research

∙ 05/18/2017

Verifying Programs via Intermediate Interpretation

We explore an approach to verification of programs via program transform...

0 Alexei P. Lisitsa, et al. ∙