An incremental verification framework for component-based software systems

Kenneth Harold Anthony Johnson, Radu Constantin Calinescu, Shinji Kikuchi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original languageEnglish
Title of host publicationCBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Place of PublicationNew York
PublisherACM
Pages33-42
Number of pages10
ISBN (Print)978-1-4503-2122-8
DOIs
Publication statusPublished - 2013
Event16th International ACM Sigsoft symposium on Component-based software engineering - Vancouver, Canada
Duration: 17 Jun 2013 → 21 Jun 2013

Conference

Conference16th International ACM Sigsoft symposium on Component-based software engineering
Country/TerritoryCanada
CityVancouver
Period17/06/13 → 21/06/13

Bibliographical note

© 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.

Access to Document

  • Camera-ready paper

    © 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.

    Accepted author manuscript, 603 KB

    Cite this