- NOVA LINCS SEMINAR SERIES
- Oct 2019
Mário Pereira (NOVA LINCS - FCT NOVA)
Title: GOSPEL - Providing OCaml with a Formal Specification Language
Date: 16 October 2019, 14h00 | DI Seminars Room - FCT - UNL campus (Ed. II)
Read more >
Mário Pereira (NOVA LINCS - FCT NOVA)
Date: 16 October 2019, 14h00 | DI Seminars Room - FCT - UNL campus (Ed. II)