Cataño, N., Barraza, F., García, D., Ortega, P., & Rueda, C. (2009). A Case Study in JML-Assisted Software Development. Electronic notes in theoretical computer science, 240, 5-21. https://doi.org/10.1016/j.entcs.2009.05.042
Citace podle Chicago (17th ed.)Cataño, Néstor, Fernando Barraza, Daniel García, Pablo Ortega, a Camilo Rueda. "A Case Study in JML-Assisted Software Development." Electronic Notes in Theoretical Computer Science 240 (2009): 5-21. https://doi.org/10.1016/j.entcs.2009.05.042.
Citace podle MLA (9th ed.)Cataño, Néstor, et al. "A Case Study in JML-Assisted Software Development." Electronic Notes in Theoretical Computer Science, vol. 240, 2009, pp. 5-21, https://doi.org/10.1016/j.entcs.2009.05.042.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..