TY  - GEN
AU  - Viana, David Leite,
AU  - Morais, Franklim,
AU  - Vaz, Jorge Vieira,
CN  - NA2728
ID  - 1369443
KW  - Architecture
KW  - Formal methods (Computer science)
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=5477620
SN  - 9781527514577 (e-book)
T1  - Formal methods in architecture and urbanism /
TI  - Formal methods in architecture and urbanism /
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=5477620
ER  -