Cover Image
Read Now

1
Published 2021
Springer International Publishing
Table of Contents: “... Methods to Software Engineers through Collaborative Learning -- Lessons of Formal Program Design in Dafny...”