Learning to verify design solutions from failure knowledge

Paulo Gomes, Carlos Bento, Pedro Gago. Learning to verify design solutions from failure knowledge. AI EDAM, 12(2):107-115, 1998. [doi]

Abstract

Abstract is missing.