SPOTO, FAUSTO, MESNARD, FRED und PAYET, ÉTIENNE, 2010. A Termination Analyzer for Java Bytecode Based on Path-Length. ACM Transactions on Programming Languages & Systems. 1 März 2010. Vol. 32, no. 3, p. 8-77. DOI 10.1145/1709093.1709095.
Elsevier - Harvard (with titles)SPOTO, F., MESNARD, F., PAYET, ÉTIENNE, 2010. A Termination Analyzer for Java Bytecode Based on Path-Length. ACM Transactions on Programming Languages & Systems 32, 8-77. https://doi.org/10.1145/1709093.1709095
American Psychological Association 7th editionSPOTO, F., MESNARD, F., & PAYET, ÉTIENNE. (2010). A Termination Analyzer for Java Bytecode Based on Path-Length. ACM Transactions on Programming Languages & Systems, 32(3), 8-77. https://doi.org/10.1145/1709093.1709095
Springer - Basic (author-date)SPOTO F, MESNARD F, PAYET ÉTIENNE (2010) A Termination Analyzer for Java Bytecode Based on Path-Length.. ACM Transactions on Programming Languages & Systems 32:8-77. https://doi.org/10.1145/1709093.1709095
Juristische Zitierweise (Stüber) (Deutsch)SPOTO, FAUSTO/ MESNARD, FRED/ PAYET, ÉTIENNE, A Termination Analyzer for Java Bytecode Based on Path-Length., ACM Transactions on Programming Languages & Systems 2010, 8-77.