Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Publisher: Springer
Published: Jun 06, 2019
Format: paperback
Number of pages: 267
ISBN-13: 9783319892146