![]() |
@article{DBLP:journals/scp/Schmidt07,
author = {David A. Schmidt},
title = {A calculus of logical relations for over- and underapproximating
static analyses},
journal = {Sci. Comput. Program.},
volume = {64},
number = {1},
year = {2007},
pages = {29-53},
ee = {http://dx.doi.org/10.1016/j.scico.2006.03.008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2007-03-30 by Michael Ley (ley@uni-trier.de)