Correctness Property Proof for the Banking System for Money Transfer Payments / Ostapovska, Yu. A., Panchenko, T. V., Polishchuk, N. V., Kartavov, M. O. (2016)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000518777
  Problems in programming  Б - 2020  /     Issue (2016, № 2-3(спец. вип.))

Остаповська Ю. А., Панченко Т. В., Поліщук Н. В., Картавов М. О.
Доведення властивості коректної роботи банківської системи виплати грошових переказів

Бібліографічний опис:
Остаповська Ю. А., Панченко Т. В., Поліщук Н. В., Картавов М. О. Доведення властивості коректної роботи банківської системи виплати грошових переказів. Проблеми програмування. 2016. № 2-3(спец. вип.). С. 119-132. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000518777

English  Problems in programming   /     Issue (2016, 2-3(спец. вип.))

Ostapovska Yu. A., Panchenko T. V., Polishchuk N. V., Kartavov M. O.
Correctness Property Proof for the Banking System for Money Transfer Payments

Cite:
Ostapovska, Yu. A., Panchenko, T. V., Polishchuk, N. V., Kartavov, M. O. (2016). Correctness Property Proof for the Banking System for Money Transfer Payments. Problems in programming, 2-3(спец. вип.), 119-132. http://jnas.nbuv.gov.ua/article/UJRN-0000518777 [In Ukrainian].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209