You have full access to this open access chapter, Download chapter PDF
Correction to: M. Roggenbach et al., Formal Methods for Software Engineering, Texts in Theoretical Computer Science. An EATCS Series, https://doi.org/10.1007/978-3-030-38800-3
In the original version of the book, the following corrections have been incorporated: The Author names have been updated on Springer Link for all chapters.
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Roggenbach, M., Cerone, A., Schlingloff, BH., Schneider, G., Shaikh, S.A. (2022). Correction to: Formal Methods for Software Engineering. In: Formal Methods for Software Engineering. Texts in Theoretical Computer Science. An EATCS Series. Springer, Cham. https://doi.org/10.1007/978-3-030-38800-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-38800-3_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-38799-0
Online ISBN: 978-3-030-38800-3
eBook Packages: Computer ScienceComputer Science (R0)