Showing 1 - 2 of 2 Results
1.
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, J... by Chaudhuri, Swarat, Farzan, ... ISBN: 9783319415277 List Price: $107.00
2.
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, J... by Chaudhuri, Swarat, Farzan, ... ISBN: 9783319415390 List Price: $169.00