![](/img/cover-not-exists.png)
[IEEE 2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS) - Beijing, China (2016.8.26-2016.8.28)] 2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS) - A consistency verification method with semantics for component-based software designs
Xue Li,, Jiagang Zhu,Year:
2016
Language:
english
DOI:
10.1109/ICSESS.2016.7883193
File:
PDF, 758 KB
english, 2016