Please use this identifier to cite or link to this item:
http://hdl.handle.net/10071/19842| Editor: | Eloy, Sara Viana, David Leite Morais, Franklim Vaz, Jorge Vieira |
| Date: | May-2020 |
| Title: | 5th Symposium Formal Methods in Architecture: Book of Abstracts |
| Peerreviewed: | yes |
| Access type: | Open Access |
| Appears in Collections: | ISTAR-OPI - Outras publicações internacionais |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 5th Symposium Formal Methods in Architecture Book of Abstracts.pdf | 634,11 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.