Menu

E. M. Clarke

1 published title

Model checking

1 edition

  • ISBN: 0262032708
  • MIT Press
  • 1999
  • Details

obnb.uk is a Good Stuff website.