Siegel, S. F., Zheng, M., Luo, Z., Zirkel, T. K., Marianiello, A. V., Edenhofner, J. G., . . . Rogers, M. S. (2015, November 15). CIVL: The concurrency intermediate verification language. Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, 1-12. https://doi.org/10.1145/2807591.2807635
Citácia podle Chicago (17th ed.)Siegel, Stephen F., Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, a Michael S. Rogers. "CIVL: The Concurrency Intermediate Verification Language." Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis 15 Nov. 2015: 1-12. https://doi.org/10.1145/2807591.2807635.
Citácia podľa MLA (8th ed.)Siegel, Stephen F., et al. "CIVL: The Concurrency Intermediate Verification Language." Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, 15 Nov. 2015, pp. 1-12, https://doi.org/10.1145/2807591.2807635.