Preface of special issue on "Computer security : foundations and automated reasoning"

Research output: Contribution to journal › Editorial › Academic › peer-review

Original language	English
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 - 2011

Access to Document

@article{d7e1356dd38b4585b97698a881389ad9,

title = "Preface of special issue on {"}Computer security : foundations and automated reasoning{"}",

author = "L. Bauer and S. Etalle and {Hartog, den}, J.I. and L. Vigan{\`o}",

year = "2011",

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

language = "English",

volume = "46",

pages = "223--224",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer",

number = "3-4",

}

TY - JOUR

T1 - Preface of special issue on "Computer security : foundations and automated reasoning"

AU - Bauer, L.

AU - Etalle, S.

AU - Hartog, den, J.I.

AU - Viganò, L.

PY - 2011

Y1 - 2011

U2 - 10.1007/s10817-010-9184-z

DO - 10.1007/s10817-010-9184-z

M3 - Editorial

SN - 0168-7433

VL - 46

SP - 223

EP - 224

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

IS - 3-4

ER -