Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

ISBN
9783540938996
$89.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2009
  • xi, 381
  • Yes
  • 5403
  • QA75.5-76.95