Título da tese:
Lightweight Program Verification with Functional Programming Assertions
Orientador: Prof. Luís Caires