The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement - Foster, Simon (Herausgeber); Sampaio, Augusto (Herausgeber) (Lecture Notes in Computer Science, 2024)