APA (7th ed.) Citation

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 Style (17th ed.) Citation

Yao, Peisen, Jingyu Ke, Jiahui Sun, Hongfei Fu, Rongxin Wu, and 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 (9th ed.) Citation

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.