شماره ركورد
14433
شماره مدرك
4365867
نويسنده/تنالگان
Deepak D`Souza
عنوان
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015
اطلاعات نشر
Springer
سال نشر
2015
شابك
3662460807
Link To Document
https://search.isc.ac/dl/search/defaultta.aspx?DTC=26&DC=14433