Orna Kupferman

Office: School of Computer Science and Engineering
Hebrew University
Jerusalem 91904
Israel

Email: orna @ cs.huji.ac.il

Phone: +972-2-5494558 (w)

Fax: +972-2-6585439

Publications

67883 Course: Formal Verification of Reactive Systems

Pictures

Raz Gili Alon Tal Anat