Go to:
Logótipo
You are here: Start > Provas de Agregação: "Case studies of development of verified programs with Dafny" > Technical Information

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
Recommend this page Top
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