ISBN 3319892142 books & textbook
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, Nils Wille, Robert Przigoda, Judith Drechsler, Rolf
Springer /2019-06-06 Paperback / 267 Pages
isbn-10: 3319892142 / isbn-13: 9783319892146
