• شماره ركورد
    14433
  • شماره مدرك
    4365867
  • نويسنده/تنالگان
    Deepak D`Souza
  • عنوان

    Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015

  • اطلاعات نشر
    Springer
  • سال نشر
    2015
  • شابك
    3662460807