%0 Conference Paper %1 conf/hvc/ArarBBGGIKRSSSZ15 %A Arar, Moab %A Behm, Michael L. %A Boni, Odellia %A Gal, Raviv %A Goldin, Alex %A Ilyaev, Maxim %A Kermany, Einat %A Reysa, John R. %A Saleh, Bilal %A Schubert, Klaus-Dieter %A Shurek, Gil %A Ziv, Avi %B Haifa Verification Conference %D 2015 %E Piterman, Nir %I Springer %K dblp %P 51-66 %T The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#ArarBBGGIKRSSSZ15 %V 9434 %@ 978-3-319-26286-4

@inproceedings{conf/hvc/ArarBBGGIKRSSSZ15, added-at = {2019-10-19T00:00:00.000+0200}, author = {Arar, Moab and Behm, Michael L. and Boni, Odellia and Gal, Raviv and Goldin, Alex and Ilyaev, Maxim and Kermany, Einat and Reysa, John R. and Saleh, Bilal and Schubert, Klaus-Dieter and Shurek, Gil and Ziv, Avi}, biburl = {https://www.bibsonomy.org/bibtex/25b5f35db696ff2078501842e41ea43ea/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2015}, editor = {Piterman, Nir}, ee = {https://doi.org/10.1007/978-3-319-26287-1_4}, interhash = {1ed4c9be6bbaf33fcc22c6a81c53fd5a}, intrahash = {5b5f35db696ff2078501842e41ea43ea}, isbn = {978-3-319-26286-4}, keywords = {dblp}, pages = {51-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:58:33.000+0200}, title = {The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#ArarBBGGIKRSSSZ15}, volume = 9434, year = 2015 }