start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| start [2009/03/09 02:54] – jonathan | start [2009/03/11 17:24] (current) – jonathan | ||
|---|---|---|---|
| Line 6: | Line 6: | ||
| * Slides from the first lecture and for the second are available in the SVN repository. | * Slides from the first lecture and for the second are available in the SVN repository. | ||
| - | * Please try out the Rodin Event-B Eclipse tool (see below for links) | + | * Please try out the Rodin Event-B Eclipse tool in preparation for Monday' |
| - | [[public: | + | * [[public: |
| Line 20: | Line 20: | ||
| Location: SEL (Software Engineering Laboratory, CSEB2056) | Location: SEL (Software Engineering Laboratory, CSEB2056) | ||
| + | |||
| + | Office hours: directly after class. | ||
start.1236567262.txt.gz · Last modified: 2009/03/09 02:54 by jonathan