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 2015

Pictures from Thailand, India, Canadian Rockies, Vietnam, Peru, Bangkok, Taipei, Hawaii, Senegal, Jordan, Qatar, Mexico

Raz Gili Alon Tal Anat