- NOVA LINCS SEMINAR SERIES
- Jan 2021
Mário Pereira (FCT NOVA - NOVA LINCS)
Title: Cameleer: a Deductive Verification Tool for OCaml
Date: 20 January 2021, 14h00 | Zoom
Read more >
Mário Pereira (FCT NOVA - NOVA LINCS)
Date: 20 January 2021, 14h00 | Zoom