VOCaL -- The Verified OCaml Library by Mário José Parreira Pereira (Université Paris-Saclay)

Sex, 13 julho 2018, 14:30 - 16:30

Tipo de evento:

Seminário

Organizador:

DI / NOVA LINCS

Local do evento:

Edifício II

Localização específica:

Sala de seminários do DI