IC3 - Flipping the E in ICE

Yakir Vizel, Arie Gurfinkel, Sharon Shoham, Sharad Malik

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Fingerprint

Dive into the research topics of 'IC3 - Flipping the E in ICE'. Together they form a unique fingerprint.

Keyphrases

Computer Science