CSC 173: Computation and Formal Systems [https://www.cs.rochester.edu/u/nelson/courses/csc_173/] - 2021-01-26 06:57:00 - public:stevetao Formal-Method - 1 | id:488542 -
COMP SCI 3EA3 - Software Specifications and Correctness [https://www.cas.mcmaster.ca/~alhassm/] - 2019-11-28 17:43:11 - public:stevetao Formal-Method, Specification - 2 | id:272121 -
CISC/CMPE422, CISC835: Formal Methods in Software Engineering [http://research.cs.queensu.ca/home/cisc422/] - 2019-11-28 17:31:31 - public:stevetao Formal-Method - 1 | id:272120 -