August 13, 2016

Roopsha Samanta is offering a new graduate seminar on Computer-Aided Program Reasoning.