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

被引:0
|
作者
Huisman, Marieke
Aldrich, Jonathan
Barnett, Mike
Giannakopoulou, Dimitra
Leavens, Gary T.
Sharygina, Natasha
机构
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条