Home » Authors » Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich

Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich

Public reference bibliography and cataloged PDF materials authored or published by Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich.

Found 1 document(s) Page 1 of 1

ContracT – from Legal Contracts to Formal Specifications: Preliminary Results

Year: 2020 • Source: hal.science • Listed PDF

We are interested in semi-automating the process of generating a formal specification from a legal contract in natural language text form. Towards this end, we present a tool, named ContracT, that annotates legal contrac...