Graham Pluck — Books & Biography | Menrva Books

Graham Pluck

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

Discover

Goodreads Alternative

StoryGraph Alternative

Book Tracking App

Reading Tracker

Company

Why Menrva Books

Help & Support

Browse

© 2026 Menrva Books

All Rights Reserved.

Privacy Policy·Terms of Use·Affiliate Disclosure