Andrei Paskevich | DeepAI

DeepAI

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

Featured Co-authors

Jose Proença
6 publications
Georges-Axel Jaloyan
6 publications
Yannick Moy
4 publications

research

∙ 08/05/2021

Proceedings of the 6th Workshop on Formal Integrated Development Environment

This volume contains the proceedings of F-IDE 2021, the sixth internatio...

0 Jose Proença, et al. ∙

research

∙ 05/15/2018

Borrowing Safe Pointers from Rust in SPARK

In the field of deductive software verification, programs with pointers ...

0 Georges-Axel Jaloyan, et al. ∙