Suggested Subjects within your search.
  1. 1
    Formal logical methods for system security and correctness
    Published 2008
    Subjects: “…Computer security -- Congresses.…”
    Access E-Book
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  2. 2
    Software safety and security tools for analysis and verification /
    Published 2012
    Subjects:
    Access E-Book
    Electronic Conference Proceeding eBook
    Save to List
    Saved in: