Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
-
e-bok
,
Engelska, 2018