Cover Image
Read Now

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

2
by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo
Published 2022
Springer International Publishing
Table of Contents: “...1 Formal Methods -- Part I Languages: 2 Logics for Software Engineering -- 3 The Process Algebra...”
Cover Image
Read Now

3
Published 2023
Springer Nature Switzerland
Table of Contents: “...Laudatio -- Jan Peleska - the Admirable Expert in Applicable Formal Methods for Safe Industrial...”
Cover Image
Read Now

4
by Gruner, Stefan, Kumar, Apurva, Maibaum, Tom, Roggenbach, Markus
Published 2020
Springer International Publishing
Table of Contents: “... -- Part III : Synthesis -- 5Example HB Entry of a Formal Method for the Railway Domain - Step 6 -- 6...”
Cover Image
Read Now

5
Published 2021
Springer International Publishing
“..., which encompasses many aspects of the formal design of software systems. Originally born as formal...”