1
Software Engineering and Formal Methods [E-Book] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /
2
Nature-Based Solutions for Flood Mitigation : Environmental and Socio-Economic Aspects [E-Book] /