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.
Couvre la conception expérimentale à laide dun exemple de ballon pour illustrer les concepts clés dans les expériences factorielles et lanalyse des données.
