Context-moving transformations for function verification (2000)

by J Giesl
Venue:In Selected Papers on Logic-Based Program Synthesis and Transformation 1999, LNCS