APA (7th ed.) Citation

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.) Citation

Ostapovska, 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.) Citation

Ostapovska, 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.