%0 Generic
%T Formal Methods and Software Engineering: VARF: Verifying and Analyzing Robustness of Random Forests
%A Nie, Chaoqun
%A Shi, Jianqi
%A Huang, Yanhong
%I Springer International Publishing
%@ 0302-9743
%@ 1611-3349
%D 2020
%C Springer International Publishing
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation