[ACM Press the 16th International ACM Sigsoft symposium - Vancouver, British Columbia, Canada (2013.06.17-2013.06.21)] Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering - CBSE '13 - An incremental verification framework for component-based software systems
Johnson, Kenneth, Calinescu, Radu, Kikuchi, ShinjiYear:
2013
Language:
english
DOI:
10.1145/2465449.2465456
File:
PDF, 915 KB
english, 2013