An abstract interpretation approach for enhancing the java bytecode verifier /

Spremljeno u:
Bibliografski detalji
Glavni autor: Barbuti, Roberto.
Daljnji autori: Francesco, Nicoletta De., Tesei, Luca.
Format: Članak
Jezik:English
Teme:
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt