Book Volume 8483 2014

Formal Methods for Executable Software Models

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

ISBN: 978-3-319-07316-3 (Print) 978-3-319-07317-0 (Online)