![]() |
@inproceedings{DBLP:conf/popl/GulwaniN03,
author = {Sumit Gulwani and
George C. Necula},
title = {Discovering affine equalities using random interpretation},
booktitle = {POPL},
year = {2003},
pages = {74-84},
ee = {http://doi.acm.org/10.1145/640128.604138},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-05-06 by Michael Ley (ley@uni-trier.de)