Leonid Livshits, Einav Gross Elsevier https://www.sciencedirect.com/science/article/pii/S2215016117300250 Researcher Dr. Leonid Livshits
