Graham Pluck profile picture

Graham Pluck

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops