Ostapovska, Y., Panchenko, T., Polishchuk, N., & Kartavov, M. (2018). Correctness Property Proof for the Banking System for Money Transfer Payments. PROBLEMS IN PROGRAMMING.
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, 2018.
MLA-Zitierstil (8. Ausg.)Ostapovska, Yu.A, et al. Correctness Property Proof for the Banking System for Money Transfer Payments. PROBLEMS IN PROGRAMMING, 2018.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.