Sharon Shoham

First name

Sharon

Last name

Shoham

Vizel, Yakir, Arie Gurfinkel, Sharon Shoham, and Sharad Malik. 2017. “IC3-Flipping the E in ICE”. In International Conference on Verification, Model Checking, and Abstract Interpretation, 521–538. Springer, Cham.

Reference Link