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

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 873375