Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

ISBN
9783319681665
$84.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2017
  • xix, 482
  • Yes
  • 10482
  • QA75.5-76.95