Milan Lopuhaä-Zwakenberg - Dutch Formal Methods Day 2025

Thu 26 Jun 2025 Amsterdam, Netherlands

Not registered as user

Name:Milan Lopuhaä-Zwakenberg

Affiliation:University of Twente

Contributions

2025

Dutch Formal Methods Day

Attack tree metrics are operad algebras

Show activities from other conferences

Dutch Formal Methods Day 2025-profile
View general profile