Login / Signup
Aleksander Letichevskyi
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Legal Knowledge Based Systems
Genetic Algorithm
Model Checking
Database Systems
Top Venues
ICTERI
</>
Publications
</>
Alexander Godlevskyi
,
Aleksander Letichevskyi
,
Vladimir S. Peschanenko
,
Oleksandr A. Letychevskyi
,
Maryna Morokhovets
,
Volodymyr G. Skobelev
,
Maksym Poltorackiy
Formalization and Algebraic Verification of Legal Requirements.
ICTERI
(2017)