CITATION STYLE
Przigoda, N., Wille, R., Przigoda, J., & Drechsler, R. (2018). A Symbolic Formulation for Models. In Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (pp. 25–94). Springer International Publishing. https://doi.org/10.1007/978-3-319-72814-8_3
Mendeley helps you to discover research relevant for your work.