APA Style
Eloy, Sara, Viana, David Leite, Morais, Franklim, Vaz, Jorge Vieira. (2021).
Formal Methods in Architecture (1).
Switzerland:
Springer Cham.
Chicago Style
Eloy, Sara, Viana, David Leite, Morais, Franklim, Vaz, Jorge Vieira.
Formal Methods in Architecture.
1
Switzerland:
Springer Cham,
2021.
Electronic Resource.
MLA Style
Eloy, Sara, Viana, David Leite, Morais, Franklim, Vaz, Jorge Vieira.
Formal Methods in Architecture.
1
Switzerland:
Springer Cham,
2021.
Electronic Resource.
Turabian Style
Eloy, Sara, Viana, David Leite, Morais, Franklim, Vaz, Jorge Vieira.
Formal Methods in Architecture.
1
Switzerland:
Springer Cham,
2021.
Electronic Resource.