Menu

Robert J. Colvin

1 published title

Laws and semantics for rely-guarantee refinement

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • Details

obnb.uk is a Good Stuff website.