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 Style (17th ed.) CitationOstapovska, Yu. A., T. V. Panchenko, N. V. Polishchuk, and M. O. Kartavov. Correctness Property Proof for the Banking System for Money Transfer Payments. 2016.
MLA (8th ed.) CitationOstapovska, Yu. A., et al. Correctness Property Proof for the Banking System for Money Transfer Payments. 2016.
Warning: These citations may not always be 100% accurate.