7FMA 2024Posted in Automation7th International Symposium Formal Methods in Architecture Event Date: Dec 03, 2024 - Dec 06, 2024 Posted inLocation: Porto, Portugal Deadline: Jun 03, 2024