67883 Formal verification of reactive systems (Fall 2009)

Lectures: Thursdays 10-11:45; Canada Elyon

Notes

Exercises