Course Notes:
September 10th NASA Formal Methods Guidebook, Vols. I and II
Readings:
The Z Notation: a reference manual
If you have comments or suggestions, email me at ramesh@seas.gwu.edu