Cover Image
Read Now

1
Published 2021
Springer International Publishing
“...This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021...”
Cover Image
Read Now

2
Published 2016
Springer International Publishing
Table of Contents: “...Invited Contributions -- Can Formal Methods Improve the Efficiency of Code Reviews.-Symbolic...”
Cover Image
Read Now

3
Published 2022
Springer International Publishing
“...This book constitutes the proceedings of the 27th International Conference on Formal Methods...”
Cover Image
Read Now

4
by Huisman, Marieke, Wijs, Anton
Published 2023
Springer International Publishing
“... to guarantee its correctness. Formal methods are techniques that can be used to improve software reliability...”
Cover Image
Read Now

5
Published 2019
Springer International Publishing
Table of Contents: “...TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019...”