Faculdade

Events

Faculdade

Department

GOSPEL - Providing OCaml with a Formal Specification Language by Mario Pereira

Wed, 16 October 2019, 14:00 - 15:00
Tipo de evento: 
Seminar
Organizador: 
DI/NOVA LINCS
Local do evento: 
Edifício II
Localização específica: 
Sala de seminários

more info