Login / Signup
Oksana Tkachuk
Publication Activity (10 Years)
Years Active: 2003-2021
Publications (10 Years): 6
Top Topics
Cloud Services
Formal Verification
Extended Abstract
Carefully Selected
Top Venues
ACM SIGSOFT Softw. Eng. Notes
SPIN
Description Logics
TwinPeaks
</>
Publications
</>