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:

https://youtu.be/vXGBlTr4-4s

Your reading assignment is the chapter on the same topic:

https://www.debuggingbook.org/beta/html/DynamicInvariants.html

Enjoy! – Your course team

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.