Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

ISBN
9783642333859
$74.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2012
  • xiv, 438
  • Yes
  • 7561
  • QA75.5-76.95