Assured Programming and Formal Methods

CIS623 and realization of provably correct programs.
semester: Fall 2022, Graduate Teaching Assistant Taught by Prof. Andrew Lee