Roberto Bagnara, Katy Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella
Grids: A Domain for Analyzing the Distribution of Numerical Values
LOPSTR, 2006.
@inproceedings{LOPSTR-2006-BagnaraDHMZ,
author = "Roberto Bagnara and Katy Dobson and Patricia M. Hill and Matthew Mundell and Enea Zaffanella",
booktitle = "{Revised Selected Papers of the 16th International Symposium on Logic-Based Program Synthesis and Transformation}",
doi = "10.1007/978-3-540-71410-1_16",
isbn = "978-3-540-71409-5",
pages = "219--235",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Grids: A Domain for Analyzing the Distribution of Numerical Values}",
volume = 4407,
year = 2006,
}
Tags: