April 2021: A “lespaket” on “Program Correctness” was produced by Jorge Peréz in collaboration with the Scholierenacademie: see here for details.
The UG website uses functional and anonymous analytics cookies. Please answer the question of whether or not you want to accept other cookies (such as tracking cookies).
If no choice is made, only basic cookies will be stored. More information