60396

Computer Aided Verification 31st International Conference, CAV 2019 New York City, NY, USA, July 15–18, 2019 Proceedings, Part II

Switzerland Springer

2019

558

9783030255435

انگليسي

Simplifying Extended String , Order Theories , Quantified Bit-Vectors