Przigoda, N., Wille, R., Przigoda, J., & Drechsler, R. (2018). Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (1st ed. 2018.). Springer International Publishing : Imprint: Springer. https://doi.org/10.1007/978-3-319-72814-8
Παραπομπή σε μορφή Chicago (17η εκδ.)Przigoda, Nils, Robert Wille, Judith Przigoda, και Rolf Drechsler. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. 1st ed. 2018. Cham: Springer International Publishing : Imprint: Springer, 2018. https://doi.org/10.1007/978-3-319-72814-8.
Παραπομπή σε μορφή MLA (8th εκδ.)Przigoda, Nils, et al. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. 1st ed. 2018. Springer International Publishing : Imprint: Springer, 2018. https://doi.org/10.1007/978-3-319-72814-8.
