Erratum to: Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9984)
Erratum to: Chapter “Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach” in: M. Fränzle et al. (Eds.): Dependable Software Engineering, LNCS, DOI: 10.1007/978-3-319-47677-3_17
The original version of this chapter contained an error. The name of the author Waqar Ahmad was spelled incorrectly as Waqar Ahmed in the original publication. The original chapter was corrected.
© Springer International Publishing AG 2017