%0 Conference Paper %1 conf/fmcad/OLearyKM13 %A O'Leary, John W. %A Kaivola, Roope %A Melham, Tom %B FMCAD %D 2013 %I IEEE %K dblp %P 97-104 %T Relational STE and theorem proving for formal verification of industrial circuit designs. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2013.html#OLearyKM13

@inproceedings{conf/fmcad/OLearyKM13, added-at = {2021-08-09T00:00:00.000+0200}, author = {O'Leary, John W. and Kaivola, Roope and Melham, Tom}, biburl = {https://www.bibsonomy.org/bibtex/2983b5091a32f68f746134fc52a3f0836/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2013}, ee = {https://ieeexplore.ieee.org/document/6679397/}, interhash = {e7a6b110e138f86fb1ee92af493346a0}, intrahash = {983b5091a32f68f746134fc52a3f0836}, keywords = {dblp}, pages = {97-104}, publisher = {IEEE}, timestamp = {2024-04-10T16:53:46.000+0200}, title = {Relational STE and theorem proving for formal verification of industrial circuit designs.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2013.html#OLearyKM13}, year = 2013 }