Verified Software - Theories, Tools and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015, Revised Selected Papers

ISBN
9783319296128
$59.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2016
  • ix, 223
  • Yes
  • 9593
  • QA76.758QA76.9.L63QA