Mixed strategy reasoning — an approach for resolution-based verification of OCL constraints in UML models
2007 ◽
Vol 2
(Supplement 1)
◽
pp. 107-119
◽
Keyword(s):
2021 ◽
pp. 1-15
Keyword(s):
Keyword(s):