Lecture 06 [https://www.cs.unc.edu/~stotts/COMP204/senotes/L06.html] - 2019-11-28 07:09:35 - public:stevetao Algebraic-Specification, Set, Specification, Stack - 4 | id:272104 -
SE 507 Algebraic Specifications [https://www.cs.scranton.edu/~mccloske/courses/se507/alg_specs_lec.html] - 2019-11-28 07:09:06 - public:stevetao Algebraic-Specification, Bag, Queue, Set, Specification, Stack - 6 | id:272103 -
STACK Specs [http://www.cs.unc.edu/~stotts/723/senotes/qs3.html] - 2019-11-28 07:01:46 - public:stevetao Algebraic-Specification, Specification, Stack - 3 | id:272101 -