[CST-2] Specification Verification 2

James Srinivasan jrs53@cam.ac.uk
Wed, 29 May 2002 23:17:28 +0100


I'm not sure if you'll get this in time but I'm having a supervision on
SpecVer2 tomorrow at 9am in the lab. Do you want me to ask the supervisor if
it's ok if you join? Please bear in mind he might already have a full group,
I don't know,

James