@inproceedings{gulwani2008logical,
author = {Gulwani, Sumit},
title = {Logical Abstract Interpretation},
booktitle = {Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore},
year = {2008},
month = {March},
abstract = {Powerpoint Slides on Logical Abstract Interpretation.},
url = {http://approjects.co.za/?big=en-us/research/publication/logical-abstract-interpretation/},
edition = {Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore},
}