Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

ISBN
9783662491218
$89.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2016
  • xiii, 558
  • Yes
  • 9583
  • QA75.5-76.95