%0 Conference Paper %1 conf/icse/LoowM19 %A Lööw, Andreas %A Myreen, Magnus O. %B FormaliSE@ICSE %D 2019 %E Gnesi, Stefania %E Plat, Nico %E Day, Nancy A. %E Rossi, Matteo %I IEEE / ACM %K dblp %P 99-108 %T A proof-producing translator for verilog development in HOL. %U http://dblp.uni-trier.de/db/conf/icse/formalise2019.html#LoowM19 %@ 978-1-7281-3373-7

@inproceedings{conf/icse/LoowM19, added-at = {2019-08-29T00:00:00.000+0200}, author = {Lööw, Andreas and Myreen, Magnus O.}, biburl = {https://www.bibsonomy.org/bibtex/2ce6836b745e2aea3a0de92cc8eb26384/dblp}, booktitle = {FormaliSE@ICSE}, crossref = {conf/icse/2019formalise}, editor = {Gnesi, Stefania and Plat, Nico and Day, Nancy A. and Rossi, Matteo}, ee = {https://dl.acm.org/citation.cfm?id=3338828}, interhash = {90defd95e2409fe550da77b468dcfdba}, intrahash = {ce6836b745e2aea3a0de92cc8eb26384}, isbn = {978-1-7281-3373-7}, keywords = {dblp}, pages = {99-108}, publisher = {IEEE / ACM}, timestamp = {2019-08-30T11:40:12.000+0200}, title = {A proof-producing translator for verilog development in HOL.}, url = {http://dblp.uni-trier.de/db/conf/icse/formalise2019.html#LoowM19}, year = 2019 }