Upcycling Formal Specifications for Similar Implementations with Ars.

Kuruvilla George Aiyankovil, Rosemary Monahan, Diarmuid P. O'Donoghue

Browse the full ICCBR paper archive.