×
  • Formal Logical Methods for System Security and Correctness

    Orna Grumberg Orna Grumberg Tobias Nipkow Christian Pfaller

Click on cover to enlarge.
7 - 8Hours to read