APA (7th ed.) Citation

Zhang, X., Xiao, S., Li, J., Pu, G., & Strichman, O. (2022, October 29). Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding. 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9. https://doi.org/10.1145/3508352.3549393

Chicago Style (17th ed.) Citation

Zhang, Xiaoyu, Shengping Xiao, Jianwen Li, Geguang Pu, and Ofer Strichman. "Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding." 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) 29 Oct. 2022: 1-9. https://doi.org/10.1145/3508352.3549393.

MLA (9th ed.) Citation

Zhang, Xiaoyu, et al. "Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding." 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 29 Oct. 2022, pp. 1-9, https://doi.org/10.1145/3508352.3549393.