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.