Automated validation & verification of UML/OCL models using satisfiability solvers. ([2018]) - Przigoda, Nils
No abstract available