Mashkoor, A., Leuschel, M., & Egyed, A. (2021, May 25). Validation obligations: A novel approach to check compliance between requirements and their formal specification. 2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 1-5. https://doi.org/10.1109/ICSE-NIER52604.2021.00009
Citácia podle Chicago (17th ed.)Mashkoor, Atif, Michael Leuschel, a Alexander Egyed. "Validation Obligations: A Novel Approach to Check Compliance Between Requirements and Their Formal Specification." 2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) 25 May. 2021: 1-5. https://doi.org/10.1109/ICSE-NIER52604.2021.00009.
Citácia podľa MLA (8th ed.)Mashkoor, Atif, et al. "Validation Obligations: A Novel Approach to Check Compliance Between Requirements and Their Formal Specification." 2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 25 May. 2021, pp. 1-5, https://doi.org/10.1109/ICSE-NIER52604.2021.00009.