Oleksandr A. Letychevskyi

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 21

Top Topics

Virtual Machine

Formal Verification

Top Venues

ICTERI (Revised Selected Papers)

ICTERI Workshops

Publications