Contratto - A Method for Transforming Legal Contracts into Formal Specifications.

Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich

Browse the full RCIS paper archive.