Ostapovska, Y., Panchenko, T., Polishchuk, N., & Kartavov, M. (2018). Correctness Property Proof for the Banking System for Money Transfer Payments. PROBLEMS IN PROGRAMMING, 2-3, 119-132. https://doi.org/10.15407/pp2016.02-03.119
Чикаго стиль цитування (17-те видання)Ostapovska, Yu.A, T.V Panchenko, N.V Polishchuk, та M.O Kartavov. "Correctness Property Proof for the Banking System for Money Transfer Payments." PROBLEMS IN PROGRAMMING 2-3 (2018): 119-132. https://doi.org/10.15407/pp2016.02-03.119.
Стиль цитування MLA (8-ме видання)Ostapovska, Yu.A, et al. "Correctness Property Proof for the Banking System for Money Transfer Payments." PROBLEMS IN PROGRAMMING, 2-3, 2018, pp. 119-132, https://doi.org/10.15407/pp2016.02-03.119.
Попередження: стилі цитування не завжди правильні на всі 100%.