Finding Polynomial Invariants for Imperative Loops in the Theorema System (2006)

by Laura Ildikó Kovács , Tudor Jebelean
Citations:8 - 4 self