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