Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

by Marcel Vinícius Medeiros Oliveira, James Woodcock

360 pages· 2009· ISBN 9783642104510
Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Discuss Formal Methods: Foundations and Applications with other readers

Join or start a book club for Formal Methods: Foundations and Applications on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Formal Methods: Foundations and Applications?

Sign up free on Readfeed, then browse public clubs or start your own club with Formal Methods: Foundations and Applications as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Formal Methods: Foundations and Applications with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Formal Methods: Foundations and Applications with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.