61077

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

Switzerland Springer

2019

558

9783030255435

انگليسي

MLTL-SAT , High-Level Abstractions , String Constraints