Orna Kupferman
Office:
School of Computer Science and Engineering
Hebrew University
Jerusalem 91904
Israel
Email:
orna @ cs.huji.ac.il
Phone:
+972-2-6586075 (w)
Fax:
+972-2-6585439
Publications
Formal Verification course, Fall 2009
Pictures from Qatar