APA-Zitierstil (7. Ausg.)

Przigoda, N. (2018). Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. Springer International Publishing. https://doi.org/10.1007/978-3-319-72814-8

Chicago-Zitierstil (17. Ausg.)

Przigoda, Nils. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-72814-8.

MLA-Zitierstil (9. Ausg.)

Przigoda, Nils. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-72814-8.