Título: Protocol-based Verification of Message-passing Parallel Programs
Orador: Francisco Martins (Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa)
Dia/hora: 14 outubro, 14h00
Local: Sala de seminários do DI, EdII
Mais informações aqui.