Leo Freitas | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Paolo Modesti
2 publications
Abdulaziz Almehrej
1 publication
Aaron John Buhagiar
1 publication

research

∙ 04/01/2023

Topologically sorting VDM-SL definitions for Isabelle/HOL translation

There is an ecosystem of VDM libraries and extensions that includes a tr...

0 Leo Freitas, et al. ∙

research

∙ 03/28/2023

Specification-based CSV Support in VDM

CSV is a widely used format for data representing systems control, infor...

0 Leo Freitas, et al. ∙

research

∙ 03/28/2020

Security Analysis of the Open Banking Account and Transaction API Protocol

To counteract the lack of competition and innovation in the financial se...

0 Abdulaziz Almehrej, et al. ∙