Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

MLA

Przigoda, Nils, et al. Automated Validation & Verification of Uml/ocl Models Using Satisfiability Solvers. Springer International Publishing, 2018.

APA

Przigoda, N., Drechsler, R., Przigoda, J., & Wille, R. (2018). Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. Springer International Publishing.

Chicago

Przigoda, Nils, Rolf Drechsler, Judith Przigoda, and Robert Wille. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. : Springer International Publishing, 2018.