Skip to ContentSkip to Navigation
Research Bernoulli Institute Fundamental Computing

Media and outreach

Software is everywhere

April 2021: A “lespaket” on “Program Correctness” was produced by Jorge Peréz in collaboration with the Scholierenacademie: see here for details.

Last modified:18 November 2021 09.20 a.m.