Faculdade

Eventos

Discussão do Plano de Tese de doutoramento do aluno Tiago Vieira Correia dos Santos

Título da tese:

Lightweight Program Verification with Functional Programming Assertions

 

Orientador: Prof. Luís Caires