Solution Verification in Software Design: A CBR Approach.

Paulo Gomes, Francisco C. Pereira, Paulo Carreiro, Paulo Paiva, Nuno Seco, Jos Lus Ferreira, Carlos Bento

Browse the full ICCBR paper archive.