Diary Entry: 2007-05-23 00:00:00 - 2007-05-23 00:00:00

Group Meeting: Open discussion - "Specifying Elevators with CSP-CASL - Part 4".