List of works - Rodrigo Otoni - Paulina

List of works by Rodrigo Otoni

A <scp>Solicitous</scp> Approach to Smart Contract Verification

scientific article published on 28 September 2022

An Algebraic Language for Specifying Quantum Networks

scientific article published on 20 June 2024

Towards an Algebraic Specification of Quantum Networks

scientific article published on 16 August 2023

Paulina is supported by:

About Paulina

Help