Mário Pereira

Assistant Professor

Software Systems

Country: Portugal

Affiliation: NOVA LINCS - FCT NOVA

Email: mjp.pereira@fct.unl.pt

Phone:

Resume
Projects
Publications
Graduations
Prototypes
Seminars

Project Highlights

No records found.

Publications Highlights

Cameleer: A Deductive Verification Tool for OCaml

Published in: Jul 2021

Authors: Mário Pereira, António Ravara

GOSPEL --- Providing OCaml with a Formal Specification Language

Published in: Oct 2019

Authors: Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira