![](/img/cover-not-exists.png)
Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”
Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca ViganòVolume:
46
Language:
english
Pages:
2
DOI:
10.1007/s10817-010-9184-z
Date:
April, 2011
File:
PDF, 115 KB
english, 2011