Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Publisher: Springer
Published: Jan 31, 2018
Format: hardcover
Number of pages: 267
ISBN-13: 9783319728131