Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops 5 contributors - Paperback £58.49 was £64.99Find out more