شماره ركورد
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
فايل ديجيتال
8174276
Link To Document