- NOVA LINCS SEMINAR SERIES
- Oct 2015
Francisco Martins (Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa)
Title: Protocol-based Verification of Message-passing Parallel Programs
Date: 14 October 2015, 14h00 | DI Seminar Room - FCT - UNL campus (Ed. II)
Read more >