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
Chicago-Zitierstil (17. Ausg.)Ostapovska, Yu.A, T.V Panchenko, N.V Polishchuk, und 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-Zitierstil (8. Ausg.)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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.