A2 was due. This Assignment was brutal!! Oh my god, I spent countless hours on question 1, 2, and 3. Question 4 was very similar to the example we did in class, if not identical. In class, we did examples of precondition implies postcondition type proofs.
No comments:
Post a Comment