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

Lujo Bauer; Sandro Etalle; Jeremy den Hartog; Luca Viganò

doi:10.1007/s10817-010-9184-z

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

Lujo Bauer, Sandro Etalle, Jeremy den Hartog, Luca Viganò

Research output: Contribution to journal › Article › Academic

38 Downloads (Pure)

Original language	Undefined
Pages (from-to)	223-224
Number of pages	2
Journal	Journal of automated reasoning
Volume	46
Issue number	3-4
DOIs	https://doi.org/10.1007/s10817-010-9184-z
Publication status	Published - 29 Jun 2010

Keywords

SCS-Cybersecurity
Computer Security
EWI-20393
IR-77818
METIS-278744

Access to Document

10.1007/s10817-010-9184-z

fulltext

Cite this

@article{33fa27175b5c4d5886eef7355a1f7e61,

title = "Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning‿",

keywords = "SCS-Cybersecurity, Computer Security, EWI-20393, IR-77818, METIS-278744",

author = "Lujo Bauer and Sandro Etalle and {den Hartog}, Jeremy and Luca Vigan{\`o}",

note = "10.1007/s10817-010-9184-z ",

year = "2010",

month = jun,

day = "29",

doi = "10.1007/s10817-010-9184-z",

language = "Undefined",

volume = "46",

pages = "223--224",

journal = "Journal of automated reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "3-4",

}

TY - JOUR

T1 - Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning‿

AU - Bauer, Lujo

AU - Etalle, Sandro

AU - den Hartog, Jeremy

AU - Viganò, Luca

N1 - 10.1007/s10817-010-9184-z

PY - 2010/6/29

Y1 - 2010/6/29

KW - SCS-Cybersecurity

KW - Computer Security

KW - EWI-20393

KW - IR-77818

KW - METIS-278744

U2 - 10.1007/s10817-010-9184-z

DO - 10.1007/s10817-010-9184-z

M3 - Article

SN - 0168-7433

VL - 46

SP - 223

EP - 224

JO - Journal of automated reasoning

JF - Journal of automated reasoning

IS - 3-4

ER -