Login / Signup
Oleksandr A. Letychevskyi
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 21
Top Topics
Data Types
Virtual Machine
Pl Sql
Formal Verification
Top Venues
ICTERI (Revised Selected Papers)
ICTERI Workshops
ICTERI
IDAACS
</>
Publications
</>