Invariant discovery via failed proof attempts (1998)

by J Stark, A Ireland
Venue:Logicbased Program Synthesis and Transformation, number 1559 in LNCS