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