Faculdade

Eventos

Cameleer: a Deductive Verification Tool for OCaml by Mário Pereira (FCT NOVA - NOVA LINCS)

Qua, 20 janeiro 2021, 14:00 - 15:00
Tipo de evento: 
Seminário
Organizador: 
DI/NOVA LINCS
Local do evento: 
Zoom (Link disponível abaixo)

MORE INFO

https://videoconf-colibri.zoom.us/j/88534151336?pwd=VXFKMjNORVEyeDZINkFlNW96bXJjQT09