Lecture Course by Peter D. Mosses
Spring Semester, 2001

Lectures:

Thursdays 12-14 (R3)

Exercises:

Wednesdays 9-10 (R3)

Exercises for Thu 15 March:

Please focus on exercises 6.1 and 6.2.

Questions concerning Chapter 6 and Chapter 7 of the notes are most welcome!

• The slides and notes for Chapter 7 are available

• An interim Bibliography is available

Participants are encouraged to insert (brief) questions and comments anywhere on these pages -- e-mail pdm@brics.dk if you've forgotten the name or password.

Remember to sign your comments! [pdm]

About Chapter 8: If anyone has problems with understanding CASL specifications, I will gladly help -- klin

• Description
• Plan
• Documents
• Participants