Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

ISBN
9783319723075
$64.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2017
  • xiii, 211
  • Yes
  • 10712
  • QA75.5-76.95