Barbuti, R., Francesco, N. D., & Tesei, L. An abstract interpretation approach for enhancing the java bytecode verifier.
Trích dẫn kiểu ChicagoBarbuti, Roberto., Nicoletta De Francesco, và Luca Tesei. An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.
ציטוט MLABarbuti, Roberto., Nicoletta De Francesco, và Luca Tesei. An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.