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-Zitierstil (17. Ausg.)Zhang, Xiaoyu, Shengping Xiao, Jianwen Li, Geguang Pu, und 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-Zitierstil (9. Ausg.)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.