Home › Authors › Nils Przigoda 👤 Nils Przigoda 1 book Books by Nils Przigoda Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers 2018