Goal-Directed Reasoning for Specification-Based Data Structure Repair.

Sun, 01 Jan 2006 00:00:00 +0100

Brian Demsky, Martin C. Rinard:
Goal-Directed Reasoning for Specification-Based Data Structure Repair. IEEE Trans. Software Eng. 32(12): 931-951 (2006)