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

L. Bauer, S. Etalle, J.I. Hartog, den, L. Viganò

Research output: Contribution to journalEditorialAcademicpeer-review

Original languageEnglish
Pages (from-to)223-224
Number of pages2
JournalJournal of Automated Reasoning
Volume46
Issue number3-4
DOIs
Publication statusPublished - 2011

Cite this