Context-Moving Transformations for Function Verification

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_17 ◽

2000 ◽

pp. 293-312 ◽

Cited By ~ 5

Author(s):

Jürgen Giesl

Download Full-text