%0 Conference Paper %1 conf/date/BergmanBKKMNOPR15 %A Bergman, Stephen %A Bobok, Gabor %A Kowalski, Walter %A Koyfman, Shlomit %A Moran, Shiri %A Nevo, Ziv %A Orni, Avigail %A Paruthi, Viresh %A Roesner, Wolfgang %A Shurek, Gil %A Vuyyuru, Vasantha %B DATE %D 2015 %E Nebel, Wolfgang %E Atienza, David %I ACM %K dblp %P 410-411 %T Designer-level verification: an industrial experience story. %U http://dblp.uni-trier.de/db/conf/date/date2015.html#BergmanBKKMNOPR15 %@ 978-3-9815370-4-8

@inproceedings{conf/date/BergmanBKKMNOPR15, added-at = {2021-08-09T00:00:00.000+0200}, author = {Bergman, Stephen and Bobok, Gabor and Kowalski, Walter and Koyfman, Shlomit and Moran, Shiri and Nevo, Ziv and Orni, Avigail and Paruthi, Viresh and Roesner, Wolfgang and Shurek, Gil and Vuyyuru, Vasantha}, biburl = {https://www.bibsonomy.org/bibtex/2a235012de9f27811298c457aa092b46e/dblp}, booktitle = {DATE}, crossref = {conf/date/2015}, editor = {Nebel, Wolfgang and Atienza, David}, ee = {https://ieeexplore.ieee.org/document/7092424/}, interhash = {7e16cca4d0518e00e8ded14e0b443bb9}, intrahash = {a235012de9f27811298c457aa092b46e}, isbn = {978-3-9815370-4-8}, keywords = {dblp}, pages = {410-411}, publisher = {ACM}, timestamp = {2024-04-10T06:47:29.000+0200}, title = {Designer-level verification: an industrial experience story.}, url = {http://dblp.uni-trier.de/db/conf/date/date2015.html#BergmanBKKMNOPR15}, year = 2015 }