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.
Trích dẫn MLABarbuti, Roberto., Nicoletta De Francesco, và Luca Tesei. An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.