Menu

Iain Whiteside

2 published titles

How to say why (in AI4FM)

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2013
  • Details

Proof patterns for formal methods

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • Details

obnb.uk is a Good Stuff website.