Practical tools from formal models: the ECHR as a case study.

Katie Atkinson, Joe Collenette, Trevor J. M. Bench-Capon, Kanstantsin Dzehtsiarou

Browse the full ICAIL paper archive.