header
Mooly Sagiv @ TLV
Головний науковий співробітник @CertoraInc та завідувач кафедри програмних систем у @TelAvivUni