شماره ركورد
12308
شماره مدرك
4364267
نويسنده/تنالگان
Nir Piterman
عنوان
Hardware and Software - Verification and Testing - 11th International Haifa Verification Conference, HVC 2015
اطلاعات نشر
Springer
سال نشر
2015
شابك
9783319262864
Link To Document