Practical tools from formal models



Atkinson, Katie ORCID: 0000-0002-5683-4106, Collenette, Joe, Bench-Capon, Trevor and Dzehtsiarou, Kanstantsin ORCID: 0000-0001-9253-6109
(2021) Practical tools from formal models. In: ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law.

[img] Text
ICAIL_2021.pdf - Accepted Version

Download (431kB) | Preview
Item Type: Conference or Workshop Item (Unspecified)
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 28 May 2021 07:40
Last Modified: 20 Dec 2021 13:10
DOI: 10.1145/3462757.3466095
URI: https://livrepository.liverpool.ac.uk/id/eprint/3124085