CS 512 - Spring 2018 :
Formal Methods for the Design and Analysis of High-Assurance Computing Systems

Assaf Kfoury
Computer Science Department
Boston University