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