Name Card

Full name Familienname, Vorname
Sagiv, Mooly
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rath, Jakob ; Bjørner, Nikolaj ; Kovacs, Laura ; Nutz, Alexander ; Sagiv, Mooly PolySAT - a word-level solver for large bitvectorsPresentation Vortrag1-Sep-2022
2Elad, Neta ; Rain, Sophie ; Immerman, Neil ; Sagiv, Mooly ; Kovacs, Laura Summing up Smart TransitionsKonferenzbeitrag Inproceedings 2021
3Shachar, Itzhaky ; Kotek, Tomer ; Rinetzky, Noam ; Sagiv, Mooly ; Tamir, Orr ; Veith, Helmut ; Zuleger, Florian On the Automated Verification of Web Applications with Embedded SQLKonferenzbeitrag Inproceedings 2017