EEMCS EPrints Service
|
||||||||||||||||
2009
Huisman, M. and Aldrich, J. and Barnett, M. and Giannakopoulou, D. and Leavens, G.T. and Sharagyna, N.
(2009)
Foreword.
In: SAVCBS '09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, 25 August 2009, Amsterdam.
pp. 3-3.
ACM.
ISBN 978-1-60558-680-9
|
||||||||||||||||