author = { Nie, Chaoqun AND Shi, Jianqi AND Huang, Yanhong },

title = { Formal Methods and Software Engineering: VARF: Verifying and Analyzing Robustness of Random Forests },

publisher = {Springer International Publishing},

isbn = {0302-9743},

isbn = {1611-3349},

year = {2020},

url = { http://slubdd.de/katalog?TN_libero_mab2 }