CS 512 - Spring 2017 : Formal Methods for High-Assurance Computing System Design and Analysis

Assaf Kfoury
Computer Science Department
Boston University