Orna Kupferman

Office: School of Computer Science and Engineering

Email: orna @ cs.huji.ac.il

Phone: +972-2-6586075 (w)

Fax: +972-2-6585439

---

Publications

Formal Verification course, Fall 2009

Pictures from Qatar