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