Paulo Gomes, Francisco C. Pereira, Paulo Carreiro, Paulo Paiva, Nuno Seco, José Luís Ferreira, Carlos Bento. Solution Verification in Software Design: A CBR Approach. In Kevin D. Ashley, Derek G. Bridge, editors, Case-Based Reasoning Research and Development, 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings. Volume 2689 of Lecture Notes in Computer Science, pages 171-185, Springer, 2003. [doi]
Abstract is missing.