Erratum to: Concise Guide to Formal Methods
Erratum to: G. O’Regan, Concise Guide to Formal Methods, Undergraduate Topics in Computer Science, DOI 10.1007/978-3-319-64021-1
The original version of this book unfortunately contained several mistakes and has been corrected.
The glossary had been incorrectly placed as “Abbreviations” and has been corrected to “Glossary”.
The List of Figures had not been included in the original version and has been inserted into the updated version.
The Chapter Key Topics had not been included in the original version and have been inserted into the updated version.
The References have been included in the chapter backmatter in the updated version.