Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7561) (2012. 2012. XIII, 420 S.)
  • 洋書