Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
Three part lecture series. See Related Info tab for lectures two and three.
Research
Research
Three part lecture series. See Related Info tab for lectures two and three.