Faculdade

Eventos

Discussão da proposta de Tese de Doutoramento do aluno Bernardo Toninho

Tema da Tese: 

A logical foundation for session-based concurrent computation

Orientador: 

Prof. Doutor Luís Caires