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 Formal verification of reactive systems, Fall 2013

Pictures from Vietnam, Peru, Bangkok, Taipei, Hawaii, Senegal, Jordan, Qatar, Mexico

Raz Gili Alon Tal Anat

Locations of visitors to this page