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

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

    Research output: Contribution to journalArticleAcademic

    21 Downloads (Pure)
    Original languageUndefined
    Pages (from-to)223-224
    Number of pages2
    JournalJournal of automated reasoning
    Volume46
    Issue number3-4
    DOIs
    Publication statusPublished - 29 Jun 2010

    Keywords

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

    Cite this