Description at https://edu.epfl.ch/coursebook/en/foundations-of-software-CS-452

Website for the course: https://fos-2022.github.io/