Conrad, E., Titolo, L., Giannakopoulou, D., Pressburger, T., & Dutle, A. (2022). A compositional proof framework for FRETish requirements. Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 68. https://doi.org/10.1145/3497775.3503685
Παραπομπή σε μορφή Chicago (17η εκδ.)Conrad, Esther, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, και Aaron Dutle. "A Compositional Proof Framework for FRETish Requirements." Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs 2022: 68. https://doi.org/10.1145/3497775.3503685.
Παραπομπή σε μορφή MLA (9th εκδ.)Conrad, Esther, et al. "A Compositional Proof Framework for FRETish Requirements." Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022, p. 68, https://doi.org/10.1145/3497775.3503685.