你即將離開本站

並前往https://books.google.com.tw/books?id=HUwBCAAAQBAJ&pg=PR6&lpg=PR6&dq=jhala+ucsd&source=bl&ots=wxo64zqgQA&sig=ACfU3U1WraCRwkAV5EyVdoWqjw6b_pWKWQ&hl=zh-TW&sa=X&ved=2ahUKEwii-pyJl6b2AhUXvosKHS2fCvMQ6AF6BQi-ARAD

Model Checking Software: 12th International SPIN Workshop, ...

... by Thomas A. Henzinger (EPFL), Ranjit Jhala (UCSD) and Rupak Majumdar (UCLA) on The BLAST Software Verification System, and by Willem Visser (NASA Ames) ...

確定！ 回上一頁

查詢 「Jhala ucsd」的人也找了：

  1. Jhala ucsd
    2.
  2. Ucsd cse faculty
    3.
  3. University of California San Diego Chancellor
    4.
  4. Griswold ucsd
    5.
  5. UCSD CS
    6.
  6. cse130 ucsd
    7.
  7. Sicun Gao
    8.
  8. UCSD ai
    9.