Login / Signup
Kanstantsin Dzehtsiarou
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Case Study
Rule Based Systems
Formal Models
Top Venues
ICAIL
</>
Publications
</>
Katie Atkinson
,
Joe Collenette
,
Trevor J. M. Bench-Capon
,
Kanstantsin Dzehtsiarou
Practical tools from formal models: the ECHR as a case study.
ICAIL
(2021)