header
Mooly Sagiv @ TLV
Główny naukowiec @CertoraInc i kierownik Katedry Systemów Oprogramowania w @TelAvivUni