Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

ISBN
9783540883869
$119.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2008
  • xiv, 430
  • Yes
  • 5311
  • QA75.5-76.95