Rosales Viesca, A., & Al Lail, M. (2024). Taming the frame problem: An automated approach for robust UML class diagram specification and verification. Innovations in Systems and Software Engineering: A NASA Journal, 20(4), 619. https://doi.org/10.1007/s11334-024-00575-0
Παραπομπή σε μορφή Chicago (17η εκδ.)Rosales Viesca, Antonio, και Mustafa Al Lail. "Taming the Frame Problem: An Automated Approach for Robust UML Class Diagram Specification and Verification." Innovations in Systems and Software Engineering: A NASA Journal 20, no. 4 (2024): 619. https://doi.org/10.1007/s11334-024-00575-0.
Παραπομπή σε μορφή MLA (9th εκδ.)Rosales Viesca, Antonio, και Mustafa Al Lail. "Taming the Frame Problem: An Automated Approach for Robust UML Class Diagram Specification and Verification." Innovations in Systems and Software Engineering: A NASA Journal, vol. 20, no. 4, 2024, p. 619, https://doi.org/10.1007/s11334-024-00575-0.