SE-561

Formal Methods in Software

Homework Assignment 2 (Due Thursday, Oct. 19)

    Textbook, Page 81

    Exercise 1.3: 1 (j), (k);

    Exercise 1.4: 2 (a), (i);

    Exercise 1.5: 7 (c);