Foreword: SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems

Marieke Huisman, Jonathan Aldrich, Mike Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina

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

Original languageEnglish
Title of host publicationSAVCBS’09
Subtitle of host publicationProceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
EditorsMarieke Huisman
PublisherACM Publishing
Number of pages1
ISBN (Print)978-1-60558-680-9
DOIs
Publication statusPublished - 2009

Cite this