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
Citace podle Chicago (17th ed.)Zhang, Xiaoyu, Shengping Xiao, Jianwen Li, Geguang Pu, a 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.
Citace podle MLA (9th ed.)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.