Luís Pedro Arrojado da Horta

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Relational Databases

Smart Environments

Top Venues

Publications

Luís Pedro Arrojado da Horta, João Santos Reis, Simão Melo de Sousa, Mário Pereira
. Blockchain (2020)
Luís Pedro Arrojado da Horta, João Santos Reis, Mário Pereira, Simão Melo de Sousa
WhylSon: Proving your Michelson Smart Contracts in Why3. CoRR (2020)