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

Qua, 04 julho 2018, 16:00 - 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