Kuruvilla George Aiyankovil, Rosemary Monahan, Diarmuid P. O'Donoghue. Upcycling Formal Specifications for Similar Implementations with Arís. In Hayley Borck, Viktor Eisenstadt, Antonio A. Sánchez-Ruiz, Michael Floyd, editors, Workshops Proceedings for the 29th International Conference on Case-Based Reasoning co-located with the 29th International Conference on Case-Based Reasoning (ICCBR 2021), Salamanca (Spain) / Online, September 13-16, 2021. Volume 3017 of CEUR Workshop Proceedings, pages 90-91, CEUR-WS.org, 2021. [doi]
Abstract is missing.