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

Qua, 16 outubro 2019, 14:00 - 15:00

Tipo de evento:

Seminário

Organizador:

DI/NOVA LINCS

Local do evento:

Edifício II

Localização específica:

Sala de seminários