Bruno Marques <br/><br/>
Formal Methods in Architecture 

 - 2025 
 -  Springer Nature Switzerland  2025 
 - Digital Innovations in Architecture, Engineering and Construction .
<br/><br/><label>ISBN: </label>9783032027825 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineering