Art of Invariant Generation applied to Symbolic Bound Computation (Lecture 1)

Date

July 1, 2009