Session 5 4
Channel: Architecture FormalMethods
Date: 2024-03-23

Plácido Lizancos; Vicente López Chao: "An experience around the rationalization of architectural analysis."