Advertisement

Erratum to: ProCoS: How It All Began – as Seen from Denmark

  • Dines BjørnerEmail author
Erratum
Part of the NASA Monographs in Systems and Software Engineering book series (NASA)

Erratum to: ProCoS: How It All Began – as Seen from Denmark in: M. Hinchey et al. (eds.), Provably Correct Systems, NASA Monographs in Systems and Software Engineering, DOI  10.1007/978-3-319-48628-4_1

The original version of the book was inadvertently published with old manuscript instead of revised manuscript for Chapter 1. The erratum chapter and the book have been updated with the change.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.HolteDenmark

Personalised recommendations