Παραπομπή APA

Barbuti, R., Francesco, N. D., & Tesei, L. An abstract interpretation approach for enhancing the java bytecode verifier.

Παραπομπή Chicago Style

Barbuti, Roberto., Nicoletta De Francesco, και Luca Tesei. An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.

Παραπομπή MLA

Barbuti, Roberto., Nicoletta De Francesco, και Luca Tesei. An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.