Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10071/19842
Editor: | Eloy, Sara Viana, David Leite Morais, Franklim Vaz, Jorge Vieira |
Data: | Mai-2020 |
Título próprio: | 5th Symposium Formal Methods in Architecture: Book of Abstracts |
Arbitragem científica: | yes |
Acesso: | Acesso Aberto |
Aparece nas coleções: | ISTAR-OPI - Outras publicações internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
5th Symposium Formal Methods in Architecture Book of Abstracts.pdf | 634,11 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.