![](/img/cover-not-exists.png)
[IEEE 2013 Fourth World Congress on Software Engineering (WCSE) - Hong Kong, China (2013.12.3-2013.12.4)] 2013 Fourth World Congress on Software Engineering - A Method of State Addreviation for Verification of Class Model
Choi, Soo-Kyung, Park, Byungho, Kim, Robert Young Chul, Park, Young B.Year:
2013
Language:
english
DOI:
10.1109/wcse.2013.15
File:
PDF, 249 KB
english, 2013