Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. Springer, 2018. [doi]
@book{0045943, title = {Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers}, author = {Nils Przigoda and Robert Wille and Judith Przigoda and Rolf Drechsler}, year = {2018}, doi = {10.1007/978-3-319-72814-8}, url = {https://doi.org/10.1007/978-3-319-72814-8}, researchr = {https://researchr.org/publication/0045943}, cites = {0}, citedby = {0}, publisher = {Springer}, isbn = {978-3-319-72813-1}, }