Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

ISBN
9783642113185
$129.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2010
  • x, 397
  • Yes
  • 5944
  • QA75.5-76.95