Menu

Stéphanie Delaune

1 published title

Automatic verification of privacy properties in the applied pi calculus

1 edition

  • University of Birmingham
  • 2007
  • Details

obnb.uk is a Good Stuff website.