Wednesday 15 November 2023
We congratulate Stefano, Milan, Moritz and Marielle with the SEFM Best Paper Award they won at the 21st International Conference on Software Engineering and Formal Methods! See 'ATM: A Logic for Quantitative Security Properties on Attack Trees'.