News
Video and material for Lecture #10 (Mining Function Specifications) now available
Written on 19.01.2021 18:10 by Andreas Zeller
Hello everyone,
The video for Lecture #10 (Mining Function Specifications) is now available:
Your reading assignment is the chapter on the same topic:
https://www.debuggingbook.org/beta/html/DynamicInvariants.html
Enjoy! – Your course team