Ernst, M. D., Perkins, J. H., Guo, P. J., McCamant, S., Pacheco, C., Tschantz, M. S., & Xiao, C. (2007). The Daikon system for dynamic detection of likely invariants. Science of computer programming, 69(1), 35-45. https://doi.org/10.1016/j.scico.2007.01.015
Citace podle Chicago (17th ed.)Ernst, Michael D., Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, a Chen Xiao. "The Daikon System for Dynamic Detection of Likely Invariants." Science of Computer Programming 69, no. 1 (2007): 35-45. https://doi.org/10.1016/j.scico.2007.01.015.
Citace podle MLA (9th ed.)Ernst, Michael D., et al. "The Daikon System for Dynamic Detection of Likely Invariants." Science of Computer Programming, vol. 69, no. 1, 2007, pp. 35-45, https://doi.org/10.1016/j.scico.2007.01.015.