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.