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

doi:10.1145/1596486

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

Faculty of Geo-Information Science and Earth Observation

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

28 Downloads (Pure)

Original language	English
Title of host publication	SAVCBS’09
Subtitle of host publication	Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
Editors	Marieke Huisman
Publisher	ACM Publishing
Number of pages	1
ISBN (Print)	978-1-60558-680-9
DOIs	https://doi.org/10.1145/1596486
Publication status	Published - 2009

Access to Document

10.1145/1596486

Huisman2009forewordFinal published version, 214 KB

Cite this

Huisman, M., Aldrich, J., Barnett, M., Giannakopoulou, D., Leavens, G. T., & Sharygina, N. (2009). Foreword: SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems. In M. Huisman (Ed.), SAVCBS’09: Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems ACM Publishing. https://doi.org/10.1145/1596486

@inproceedings{8bc3d16edc4c42d48f3d7ec0eda2cd06,

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

author = "Marieke Huisman and Jonathan Aldrich and Mike Barnett and Dimitra Giannakopoulou and Leavens, {Gary T.} and Natasha Sharygina",

year = "2009",

doi = "10.1145/1596486",

language = "English",

isbn = "978-1-60558-680-9",

editor = "Marieke Huisman",

booktitle = "SAVCBS{\textquoteright}09",

publisher = "ACM Publishing",

}

Huisman, M, Aldrich, J, Barnett, M, Giannakopoulou, D, Leavens, GT & Sharygina, N 2009, Foreword: SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems. in M Huisman (ed.), SAVCBS’09: Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems. ACM Publishing. https://doi.org/10.1145/1596486

Foreword: SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems. / Huisman, Marieke; Aldrich, Jonathan; Barnett, Mike et al.
SAVCBS’09: Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems. ed. / Marieke Huisman. ACM Publishing, 2009.

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

TY - GEN

T1 - Foreword

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

AU - Huisman, Marieke

AU - Aldrich, Jonathan

AU - Barnett, Mike

AU - Giannakopoulou, Dimitra

AU - Leavens, Gary T.

AU - Sharygina, Natasha

PY - 2009

Y1 - 2009

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-77950466206&partnerID=MN8TOARS

U2 - 10.1145/1596486

DO - 10.1145/1596486

M3 - Conference contribution

SN - 978-1-60558-680-9

BT - SAVCBS’09

A2 - Huisman, Marieke

PB - ACM Publishing

ER -

Huisman M, Aldrich J, Barnett M, Giannakopoulou D, Leavens GT, Sharygina N. Foreword: SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems. In Huisman M, editor, SAVCBS’09: Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems. ACM Publishing. 2009 doi: 10.1145/1596486

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

Access to Document

Other files and links

Cite this