Abstract
This chapter is the concluding chapter in which we summarize the journey that we have travelled in this book.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
O’Regan, G. (2017). Epilogue. In: Concise Guide to Formal Methods. Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-64021-1_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-64021-1_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64020-4
Online ISBN: 978-3-319-64021-1
eBook Packages: Computer ScienceComputer Science (R0)