This is the old Foundations of Software web page. For the current version please follow http://lamp.epfl.ch/page-83419.html