×
  • Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

    Franck Cassez

Click on cover to enlarge.
Buy This Book
From Amazon.
9 - 10Hours to read