@dblp

Determining relevant model elements for the verification of UML/OCL specifications.

, , , and . DATE, page 1189-1192. EDA Consortium San Jose, CA, USA / ACM DL, (2013)

Links and resources

Tags