Beyer, D., Lingsch-Rosenfeld, M., & Spiessl, M. (2023). CEGAR-PT: A Tool for Abstraction by Program Transformation. 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on, ASE, 2078. https://doi.org/10.1109/ASE56229.2023.00215
Παραπομπή σε μορφή Chicago (17η εκδ.)Beyer, Dirk, Marian Lingsch-Rosenfeld, και Martin Spiessl. "CEGAR-PT: A Tool for Abstraction by Program Transformation." 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on, ASE 2023: 2078. https://doi.org/10.1109/ASE56229.2023.00215.
Παραπομπή σε μορφή MLA (9th εκδ.)Beyer, Dirk, et al. "CEGAR-PT: A Tool for Abstraction by Program Transformation." 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on, ASE, 2023, p. 2078, https://doi.org/10.1109/ASE56229.2023.00215.