Showing 1 - 6 of 6 Results
1.
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, V... by Dillig, Isil, Palsberg, Jens ISBN: 9783319737201 List Price: $107.00
2.
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA... by Dillig, Isil, Tasiran, Serdar ISBN: 9783030255398 List Price: $59.99
3.
Computer Aided Verification by Tasiran, Serdar, Dillig, Isil ISBN: 9781013271144
4.
Computer Aided Verification by Tasiran, Serdar, Dillig, Isil ISBN: 9781013271175
5.
Computer Aided Verification by Tasiran, Serdar, Dillig, Isil ISBN: 9781013271151
6.
Computer Aided Verification by Tasiran, Serdar, Dillig, Isil ISBN: 9781013271168