Items where authors include "Kikuchi, Shinji"

Proceedings Paper

Johnson, Kenneth Harold Anthony, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 and Kikuchi, Shinji (2013) An incremental verification framework for component-based software systems. In: CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. 16th International ACM Sigsoft symposium on Component-based software engineering, 17-21 Jun 2013. ACM , CAN , pp. 33-42.