textbook
This is an old revision of the document!
Textbook
You will require the following textbook for this course:
- Course Kit: SC/CSE 3341.3.0M Introduction to Program Verification, Winter 2010.
You may purchase this book through the York University Bookstore.
textbook.1262798920.txt.gz · Last modified: by jonathan