1
Published 2021
Springer International Publishing
Table of Contents: ...Rooting Formal Methods in Higher Education Curricula for Computer Science or Software Engineering...

2
Published 2014
Springer Berlin Heidelberg
Table of Contents: ...Innovation and Sustainability in Education -- Inquiry-based science education in secondary school...