Saltar para:
Logótipo
Você está em: Início > Provas de Agregação: "Case studies of development of verified programs with Dafny" > Ficha Técnica

Ficha Técnica

Data de Início de Visualização: 17 de Junho de 2022.
Data de Actualização: 17 de Junho de 2022.
Data de Caducidade: 8 de Julho de 2022.
Data do Evento: Início em 7 de Julho de 2022 e término em 8 de Julho de 2022.
   
Fonte Emissora: Unidade de Imagem e Comunicação
Mais Informações: Ana Isabel Gomes de Carvalho
Introduzido Por: Ana Isabel Gomes de Carvalho
Recomendar Página Voltar ao Topo
Copyright 1996-2022 © Faculdade de Engenharia da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2022-09-29 às 19:01:09 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias