He, XD. (2000). Formalizing UML class diagrams - A hierarchical predicate transition net approach
.
Proceedings - International Computer Software and Applications Conference, 24 217-222. 10.1109/CMPSAC.2000.884721
He, XD. (2000). Formalizing UML class diagrams - A hierarchical predicate transition net approach
. Proceedings - International Computer Software and Applications Conference, 24 217-222. 10.1109/CMPSAC.2000.884721