Showing 1 - 2 results of 2 for search 'Grumberg, O.', query time: 0.01s Narrow Search
  1. 1
    Formal Logical Methods for System Security and Correctness.
    by Grumberg, O.
    Published 2008
    Click for online access
    eBook
    Save to List
    Saved in:
  2. 2
    Software Safety and Security.
    by Nipkow, T.
    Published 2012
    Other Authors: “…Grumberg, O.…”
    Click for online access
    eBook
    Save to List
    Saved in:

Search Tools: