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.
Metadata
Authors/Creators: |
|
||||
---|---|---|---|---|---|
Copyright, Publisher and Additional Information: | © 2013 ACM. This is an author produced version of a paper published in Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. Uploaded in accordance with the publisher's self-archiving policy. | ||||
Dates: |
|
||||
Institution: | The University of York | ||||
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) | ||||
Funding Information: |
|
||||
Depositing User: | Pure (York) | ||||
Date Deposited: | 09 Apr 2014 17:00 | ||||
Last Modified: | 06 Dec 2023 09:55 | ||||
Published Version: | https://doi.org/10.1145/2465449.2465456 | ||||
Status: | Published | ||||
Publisher: | ACM | ||||
Refereed: | No | ||||
Identification Number: | https://doi.org/10.1145/2465449.2465456 |