Login / Signup
Yulia Ostapovska
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Transfer Learning
Retail Banking
Theorem Prover
Top Venues
UkrPROG
</>
Publications
</>
Yulia Ostapovska
,
Taras Panchenko
,
Nataliya Polishchuk
,
Mykita Kartavov
Correctness Property Proof for the Banking System for Money Transfer Payments.
UkrPROG
(2016)