شماره ركورد
13081
شماره مدرك
4363180
نويسنده/تنالگان
Bernd Finkbeiner
عنوان
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015 (Lecture Notes in Computer Science)
اطلاعات نشر
Springer
سال نشر
2015
شابك
9783319249520
Link To Document