Menu

Deepak D'Souza

1 published title

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, proceedings

(Contributor)

1 edition

  • ISBN: 9783662460801
  • Springer
  • 2015
  • Details

obnb.uk is a Good Stuff website.