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

Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò
2010 Journal of automated reasoning  
doi:10.1007/s10817-010-9184-z fatcat:tortcoymezaozmitgc66croehm