Automated Generation of Loop Invariants by Recurrence Solving in Theorema (2004)

by Laura Ildikó Kovács , Tudor Jebelean
Venue:Proc. of SNASC’04 (Symbolic and Numeric Algorithms for Scientific Computing
Citations:4 - 2 self