Menu

D. Dias

1 published title

Abstracting interference in postconditions

1 edition

  • Newcastle University, Computing Science
  • Details

obnb.uk is a Good Stuff website.