Erratum to: Tommaso Bolognesi and Diego Latella (Eds.) Formal Methods for Distributed System Development DOI:  10.1007/978-0-387-35533-7

The book was inadvertently published with an incorrect name of the copyright holder. The name of the copyright holder for this book is: © IFIP International Federation for Information Processing. The book has been updated with the changes.

Copyright information

© IFIP International Federation for Information Processing 2017

Authors and Affiliations

  • Tommaso Bolognesi
    • 1
  • Diego Latella
    • 2
  1. 1.Consiglio Nazionale delle Ricerche (CNR)Istituto di Elaborazione dell’Informazione (IEI)Italy
  2. 2.Consiglio Nazionale delle Ricerche (CNR)Istituto CNUCEItaly

Personalised recommendations