From Legal Contracts to Formal Specifications: A Progress Report.

Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich

Browse the full REFSQ paper archive.