IC3 -- flipping the E in ICE
From MaRDI portal
Publication:2961586
DOI10.1007/978-3-319-52234-0_28zbMATH Open1484.68105OpenAlexW2574291663MaRDI QIDQ2961586FDOQ2961586
Authors: Yakir Vizel, Arie Gurfinkel, Sharon Shoham, Sharad Malik
Publication date: 21 February 2017
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-52234-0_28
Recommendations
Cites Work
Cited In (5)
This page was built for publication: IC3 -- flipping the E in ICE
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2961586)