Chapter
Erratum to: Challenges in Software Certification
Abstract
Authors
Maibaum T
Book title
Formal Methods and Software Engineering
Series
Lecture Notes in Computer Science
Volume
4789
Pagination
pp. e1-e1
Publisher
Springer Nature
Publication Date
January 1, 2007
DOI
10.1007/978-3-540-76650-6_22