Volume 46, Issue 3-4

Special 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ò