Barbuti, R., Francesco, N. D., & Tesei, L. An abstract interpretation approach for enhancing the java bytecode verifier.
Chicago-stil citatBarbuti, Roberto., Nicoletta De Francesco, och Luca Tesei. An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.
MLA-referensBarbuti, Roberto., Nicoletta De Francesco, och Luca Tesei. An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.