%0 Journal Article %1 journals/corr/abs-2011-09933 %A Guidotti, Dario %A Pulina, Luca %A Tacchella, Armando %D 2020 %J CoRR %K dblp %T NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks. %U http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-09933 %V abs/2011.09933

@article{journals/corr/abs-2011-09933, added-at = {2020-11-25T00:00:00.000+0100}, author = {Guidotti, Dario and Pulina, Luca and Tacchella, Armando}, biburl = {https://www.bibsonomy.org/bibtex/217ae40991c7ea61af5ba8314d4151197/dblp}, ee = {https://arxiv.org/abs/2011.09933}, interhash = {b7dbeab03809efa41bdaac45feb177b4}, intrahash = {17ae40991c7ea61af5ba8314d4151197}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-11-26T11:34:54.000+0100}, title = {NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-09933}, volume = {abs/2011.09933}, year = 2020 }