anyone know of any courses going on in rbs regarding Rav Wye's bug checking methods or similar methods. thanks -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.cs.huji.ac.il/pipermail/rbs/attachments/20090420/d065d5f9/attachment.html>