Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Sat, 14 June 2025 at 04:00 pm in Glasgow, Scotland
Abstract: For meanwhile two years, I have been teaching a unit on Dafny and the WP calculus in my first year module on Tools and Techniques for Software Engineering. In this talk I will discuss my teaching approach, show sample slides and lab exercises, and discuss the outcome.
Paper