Ostapovska, Y., Panchenko, T., Polishchuk, N., & Kartavov, M. (2018). Correctness Property Proof for the Banking System for Money Transfer Payments. PROBLEMS IN PROGRAMMING.
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. PROBLEMS IN PROGRAMMING, 2018.
MLA (8th ed.) CitationOstapovska, Yu.A, et al. Correctness Property Proof for the Banking System for Money Transfer Payments. PROBLEMS IN PROGRAMMING, 2018.
Warning: These citations may not always be 100% accurate.