Map of Premises
Tese de Mestrado em Ciência de Computadores
Contract Checking For Lazy Functional Languages
| Student: | Rui Jorge Santos Andrade |
| Nº de Estudante: | 201304902 |
| Orientadores: |
António Mário da Silva Marcos Florido
|
| Status: | Concluído |
| Desde: | 07-SET-2018 |
| Start: | 08-AGO-2017 |
| Entrega da Tese: | 12-SET-2018 |
| Defence: | 07-SET-2018 |
| Título da Tese: | Contract Checking For Lazy Functional Languages |
| Título Provisório: | Contract Checking For Lazy Functional Languages |
Elementos do Júri
| Name | Role |
|---|---|
| Sandra Alves | Presidente |
| José Almeida | Arguente |
| Mário Florido | Arguente |
Copyright 1996-2022 © Faculdade de Ciências da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
I Guest Book
Page created on: 2022-08-18 at 20:36:30 | Reports Portal
Page created on: 2022-08-18 at 20:36:30 | Reports Portal