FMSE'07 - Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering: Foreword

被引:0
作者
Gligor, Virgil [1 ]
Mantel, Heiko [2 ]
机构
[1] University of Maryland, United States
[2] TU Darmstadt, Germany
来源
FMSE'07 - Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering | 2007年
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条