Beyer, D., Chien, P., & Lee, N. (2023, September 11). CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 2050-2053. https://doi.org/10.1109/ASE56229.2023.00213
Citácia podle Chicago (17th ed.)Beyer, Dirk, Po-Chun Chien, a Nian-Ze Lee. "CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification." IEEE/ACM International Conference on Automated Software Engineering : [proceedings] 11 Sep. 2023: 2050-2053. https://doi.org/10.1109/ASE56229.2023.00213.
Citácia podľa MLA (8th ed.)Beyer, Dirk, et al. "CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification." IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 11 Sep. 2023, pp. 2050-2053, https://doi.org/10.1109/ASE56229.2023.00213.