Ostapovska, Y., Panchenko, T., Polishchuk, N., & Kartavov, M. (2018). Correctness Property Proof for the Banking System for Money Transfer Payments. PROBLEMS IN PROGRAMMING.
Чикаго стиль цитування (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, 2018.
Стиль цитування MLA (8-ме видання)Ostapovska, Yu.A, et al. Correctness Property Proof for the Banking System for Money Transfer Payments. PROBLEMS IN PROGRAMMING, 2018.
Попередження: стилі цитування не завжди правильні на всі 100%.