Shashidhar, K. C., Bruynooghe, M., Catthoor, F., & Janssens, G. (2005, January). Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. Design, Automation and Test in Europe, 1310-1315. https://doi.org/10.1109/DATE.2005.163
Citace podle Chicago (17th ed.)Shashidhar, K. C., Maurice Bruynooghe, Francky Catthoor, a Gerda Janssens. "Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code." Design, Automation and Test in Europe Jan. 2005: 1310-1315. https://doi.org/10.1109/DATE.2005.163.
Citace podle MLA (9th ed.)Shashidhar, K. C., et al. "Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code." Design, Automation and Test in Europe, Jan. 2005, pp. 1310-1315, https://doi.org/10.1109/DATE.2005.163.