F09-GS/CSE6411: Programming Logic for Complex Systems

• Please login to the wiki (see bottom ↓ of this page for login).

• Slides from the first lecture and for the second are available in the SVN repository.

• Please try out the Rodin Event-B Eclipse tool in preparation for Monday's class.

• Course Contents.

Winter 2009: Starting Wednesday March 4th, 2009

Mondays and Wednesdays: 11:30am-1pm

Location: SEL (Software Engineering Laboratory, CSEB2056)

Office hours: directly after class.