You are here: Start > Provas de Agregação: "Case studies of development of verified programs with Dafny" > Technical Information
Campus Map
Technical Information
| View Start Date: | 17th June 2022. |
| Update Date: | 17th June 2022. |
| Expiry Date: | 8th July 2022. |
| Date of Event: | Starts in 7th July 2022 and ends in 8th July 2022. |
| Issuing Source: | Unidade de Imagem e Comunicação |
| Additional information: | Ana Isabel Gomes de Carvalho |
| Inserted by: | Ana Isabel Gomes de Carvalho |
Copyright 1996-2022 © Faculdade de Engenharia da Universidade do Porto
I Terms and Conditions
I Accessibility
I Index A-Z
I Guest Book
Page generated on: 2022-08-14 at 01:09:24 | Reports Portal
Page generated on: 2022-08-14 at 01:09:24 | Reports Portal