Trích dẫn kiểu APA (xuất bản lần thứ 7)
Lång, J., & Prasetya, I. S. W. B. (Jun 29, 2019). Model Checking a C++ Software Framework, a Case Study. arXiv.org. https://doi.org/10.1145/3338906.3340453
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)
Lång, John, và I S W B. Prasetya. "Model Checking a C++ Software Framework, a Case Study." ArXiv.org Jun 29, 2019. https://doi.org/10.1145/3338906.3340453.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)
Lång, John, và I S W B. Prasetya. "Model Checking a C++ Software Framework, a Case Study." ArXiv.org, Jun 29, 2019, https://doi.org/10.1145/3338906.3340453.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.