SE-561

Formal Methods in Software

Homework Assignment 1 (Due Thursday, Oct. 5)

    Textbook, Page 78, 1.7 Exercises

    Exercise 1.2: 1 (k), (o), (w), (x); 
                        3 (d), (k), (r); 
                        5 (a)