Menu

Dragan Bošnački

1 published title

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 2002 : proceedings

(Contributor)

1 edition

  • ISBN: 3540434771
  • Springer
  • 2002
  • Details

obnb.uk is a Good Stuff website.