Certified Programming in the heavy presence of pointers: The case for Union-Find by Simão Melo de Sousa (UBI)

Wed, 04 July 2018, 16:00 - 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