CS 511 - Fall 2017 : Formal Methods for High-Assurance Software Engineering

Assaf Kfoury
Computer Science Department
Boston University