APA (7th ed.) Citation

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. https://doi.org/10.1007/978-3-319-72814-8

Chicago Style (17th ed.) Citation

Przigoda, Nils, Robert Wille, Judith Przigoda, and Rolf Drechsler. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. 1st ed. 2018. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-72814-8.

MLA (9th ed.) Citation

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