Menu

Abubkr Abdelsadiq

1 published title

A high-level model-checking tool for verifying electronic contracts

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

obnb.uk is a Good Stuff website.