Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
ISBN 13: 9783319892146
Format: Paperback (268 pages) Publisher: Springer Published: 06 Jun 2019
Save for later