1.
Computer Aided Verification : 30th International Conference, CAV 2018, Oxford, UK, July 14-1...
by Chockler, Hana, Weissenbach...
ISBN: 9783319961446
List Price: $59.99
2.
Computer Aided Verification : 30th International Conference, CAV 2018, Oxford, UK, July 14-1...
by Chockler, Hana, Weissenbach...
ISBN: 9783319961415
List Price: $59.99