Verimag

bibtex

@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},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 817965