From Legal Contracts to Formal Specifications: A Progress Report

Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich. From Legal Contracts to Formal Specifications: A Progress Report. In Fatma Basak Aydemir, Catarina Gralha, Maya Daneva, Eduard C. Groen, Andrea Herrmann, Patrick Mennig, Sallam Abualhaija, Alessio Ferrari, Jin Guo, Renata Guizzardi, Jennifer Horkoff, Anna Perini, Angelo Susi, Travis Breaux, Xavier Franch, Neil Ernst, Elda Paja, Norbert Seyff, editors, Joint Proceedings of REFSQ 2021 Workshops, OpenRE, Poster and Tools Track, and Doctoral Symposium co-located with the 27th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2021), Essen, Germany, April 12, 2021. Volume 2857 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

Authors

Michele Soavi

This author has not been identified. Look up 'Michele Soavi' in Google

Nicola Zeni

This author has not been identified. Look up 'Nicola Zeni' in Google

John Mylopoulos

This author has not been identified. Look up 'John Mylopoulos' in Google

Luisa Mich

This author has not been identified. Look up 'Luisa Mich' in Google