Aiyankovil, Kuruvilla George, Monahan, Rosemary and O'Donoghue, Diarmuid (2021) Upcycling Formal Specifications for Similar Implementations with ArĂs. In: International Conference on Case-Based Reasoning (ICCBR), 13-16 September 2021, Salamanca, Spain.