Faculdade

Events

Faculdade

Department

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

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

More info