Citation Formats
MLA
Zhang, Yan. Statistically Sound Verification and Optimization of Black-box Systems.
APA
Zhang, Y. Statistically Sound Verification and Optimization of Black-Box Systems.
Chicago
Zhang, Yan. Statistically Sound Verification and Optimization of Black-Box Systems.