Specification and Proof of Probabilistic Programs with Applications to Security
Autumn semester 2016 (263-4650-00L)
Overview
Lecturer:
Prof. Annabelle McIver, Prof. Carroll Morgan
Lectures:
Fri 10-12h, CAB G59
Exercises:
Thu 15-16h, CAB G51
Credits: 4 ECTS (2V + 1U)
Language: English
Course Material
The lecture notes, exercises, slides, and other resources is available here.