research
∙
07/13/2017
A Web-Based Tool for Analysing Normative Documents in English
Our goal is to use formal methods to analyse normative documents written...
research
∙
06/15/2017