People - NOVA LINCS NOVA LINCS

Login

People

Publications Projects Graduations Prototypes Seminars

Behavioural Up/down Casting For Statically Typed Languages

Published in 12/09/2024

Authors

Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, Joao Mota, António Ravara,

On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper)

Published in 11/07/2023

Authors

Joao Mota, Marco Giunti, António Ravara,