Introduit les fondamentaux de la programmation C, couvrant les familles de langues, les types de données, les pointeurs et les processus de compilation.
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
