Practical tools from formal models : the ECHR as a case study
| Title: | Practical tools from formal models : the ECHR as a case study |
|---|---|
| Authors: | Atkinson, Katie; Collenette, Joe; Bench-Capon, Trevor; Dzehtsiarou, Kanstantsin |
| Source: | Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law. :170-174 |
| Availability: | http://dl.acm.org/doi/10.1145/3462757.3466095 |
| Database: | ACM Full-Text Collection |