@inproceedings{gulwani2009art,
author = {Gulwani, Sumit},
title = {Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)},
booktitle = {Oregon Summer School},
year = {2009},
month = {July},
abstract = {Three part lecture series. See Related Info tab for lectures two and three.},
url = {http://approjects.co.za/?big=en-us/research/publication/art-invariant-generation-applied-symbolic-bound-computation-part-1/},
edition = {Oregon Summer School},
}