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