Yao, P., Ke, J., Sun, J., Fu, H., Wu, R., & Ren, K. (2023, September 11). Demystifying Template-Based Invariant Generation for Bit-Vector Programs. IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 673-685. https://doi.org/10.1109/ASE56229.2023.00069
Chicago-Zitierstil (17. Ausg.)Yao, Peisen, Jingyu Ke, Jiahui Sun, Hongfei Fu, Rongxin Wu, und Kui Ren. "Demystifying Template-Based Invariant Generation for Bit-Vector Programs." IEEE/ACM International Conference on Automated Software Engineering : [proceedings] 11 Sep. 2023: 673-685. https://doi.org/10.1109/ASE56229.2023.00069.
MLA-Zitierstil (9. Ausg.)Yao, Peisen, et al. "Demystifying Template-Based Invariant Generation for Bit-Vector Programs." IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 11 Sep. 2023, pp. 673-685, https://doi.org/10.1109/ASE56229.2023.00069.