(See attached file: 28.1.08-Issues sub-committee Update.ppt) Sitvanit Ruah Formal Verification Group IBM Haifa Research Laboratory Tel: 972-3-7689-497 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
This archive was generated by hypermail 2.1.8 : Mon Jan 28 2008 - 08:02:46 PST