@inproceedings{MFK09,
title = {Polyhedral Domains and Widening for Verification of Numerical Programs },
author = {Maka, Hitashyam and Frehse, Goran and Krogh, Bruce H.},
year = {2009},
booktitle = {NSV-II: Second International Workshop on Numerical Software Verification},
team = {TEMPO},
}
