3rd symposium formal methods book of abstracts

Page 1

3rd symposium FORMAL METHODS IN ARCHITECTURE November 30, December 02 | 2015 ESAP | Escola Superior Artística do Porto, Portugal

BOOK OF ABSTRACTS

David Leite Viana Franklim Morais Jorge Vieira Vaz

CESAP | Cooperativa de Ensino Superior Artístico do Porto 1


Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.
3rd symposium formal methods book of abstracts by David Leite Viana - Issuu