Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”

被引：0

作者：

Lujo Bauer

Sandro Etalle

Jerry den Hartog

Luca Viganò

机构：

[1] Carnegie Mellon University,Dipartimento di Informatica

[2] Technical University of Eindhoven,undefined

[3] Università di Verona,undefined

来源：

Journal of Automated Reasoning | 2011年 / 46卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：223 / 224

页数：1