Faculdade

Eventos

Logic & Proofs for Cyber-Physical Systems by André Platzer (Carnegie Mellon University)

Ter, 15 janeiro 2019, 14:00 - 15:00
Tipo de evento: 
Seminário
Organizador: 
DI/NOVA LINCS
Local do evento: 
Edifício II
Localização específica: 
Sala Seminários do DI

More info