%0 Journal Article %1 journals/tcad/DeOrioBBI09 %A DeOrio, Andrew %A Bauserman, Adam %A Bertacco, Valeria %A Isaksen, Beth %D 2009 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 5 %P 728-741 %T Inferno: Streamlining Verification With Inferred Semantics. %U http://dblp.uni-trier.de/db/journals/tcad/tcad28.html#DeOrioBBI09 %V 28

@article{journals/tcad/DeOrioBBI09, added-at = {2020-09-24T00:00:00.000+0200}, author = {DeOrio, Andrew and Bauserman, Adam and Bertacco, Valeria and Isaksen, Beth}, biburl = {https://www.bibsonomy.org/bibtex/26e003e5ad77b60deeccf9894f31b8f9f/dblp}, ee = {https://doi.org/10.1109/TCAD.2009.2013995}, interhash = {103c2e24ad8758c57c88da1155131ce1}, intrahash = {6e003e5ad77b60deeccf9894f31b8f9f}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 5, pages = {728-741}, timestamp = {2020-09-25T11:46:56.000+0200}, title = {Inferno: Streamlining Verification With Inferred Semantics.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad28.html#DeOrioBBI09}, volume = 28, year = 2009 }