Menu

Joey W. Coleman

1 published title

A rely/guarantee reasoning framework using computational tree logic

1 edition

  • Newcastle University, Computing Science
  • 2010
  • Details

obnb.uk is a Good Stuff website.