共 50 条
[31]
Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”
[J].
Journal of Automated Reasoning,
2011, 46
:223-224