Volume 46, Issue 3-4
April 2011Special Issue: Computer Security: Foundations and Automated Reasoning / Guest Edited by Lujo Bauer, Sandro Etalle, Jerry den Hartog and Luca Viganò
- Issue Editors:
-
- Lujo Bauer,
- Sandro Etalle,
- J. den Hartog,
- Luca Viganò
7 articles in this issue