खोज परिणाम - Barthe

  • प्रदर्शित 1 - 2 परिणाम 2
परिणाम को परिष्कृत करें
  1. 1
    कवर छवि

    Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

    अन्य लेखक: “…Barthe…”
    Full text available on Research4Life (ACM)
    इलेक्ट्रोनिक ई-पुस्तक

  2. 2
    कवर छवि

    Proceedings of the 4th international conference on Engineering Secure Software and Systems

    अन्य लेखक: “…Barthe…”
    Full text available on Research4Life (ACM)
    इलेक्ट्रोनिक ई-पुस्तक

खोज साधन: