Menu

Christian Pfaller

1 published title

Formal logical methods for system security and correctness

(Contributor)

1 edition

  • ISBN: 9781586038434
  • IOS Press
  • 2008
  • Details

obnb.uk is a Good Stuff website.