By the same authors

An incremental verification framework for component-based software systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Full text download(s)

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

Title of host publicationCBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
DatePublished - 2013
Pages33-42
Number of pages10
PublisherACM
Place of PublicationNew York
Original languageEnglish
ISBN (Print)978-1-4503-2122-8

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.

Projects

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations