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

Fri, 13 July 2018, 14:30 - 16:30

Tipo de evento:

Seminar

Organizador:

DI / NOVA LINCS

Local do evento:

Edifício II

Localização específica:

Sala de seminários do DI