![](/img/cover-not-exists.png)
[IEEE 2010 International Conference on Computational Intelligence and Software Engineering (CiSE) - Wuhan, China (2010.12.10-2010.12.12)] 2010 International Conference on Computational Intelligence and Software Engineering - Formal Interface-Component Based Software Analysis and Design
Song, Cui-Ye, Du, Cheng-Lie, Li, GangYear:
2010
Language:
english
DOI:
10.1109/cise.2010.5676791
File:
PDF, 106 KB
english, 2010